yellowsquid/cfe-proof.git/cfe-proof.agda-lib, branch master [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=master 2024-01-22T17:11:17Z Make more library-like. 2024-01-22T17:11:17Z Chloe Brown chloe.brown.00@outlook.com 2024-01-22T17:11:17Z urn:sha1:848607d2e2579d127e7e9a723b9cfea14c2ce8c1 Add an `agda-lib` and an `Everything` file.