yellowsquid/cbpv-soas-and-frex.git/cbpv.agda-lib, branch main
[no description]
http://git.yellowsquid.uk/yellowsquid/cbpv-soas-and-frex.git/atom?h=main
2023-12-28T12:41:57Z
Define syntax and equivalence.
2023-12-28T12:41:57Z
Chloe Brown
chloe.brown.00@outlook.com
2023-12-28T12:41:57Z
urn:sha1:bf5fedb51726f62aa8f46505ebee87912ef10ce3