ncfavier/Goat.agda

Last active July 7, 2024 11:30

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/ncfavier/f726fde4a3a35abc02b4970df560aa8a.js"></script>
Save ncfavier/f726fde4a3a35abc02b4970df560aa8a to your computer and use it in GitHub Desktop.

Download ZIP

Moved to https://agda.monade.li/Goat.html

Raw

-- Moved to https://agda.monade.li/Goat.html

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment