ncfavier/funext.agda

Last active July 7, 2024 11:26

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/3220e4b7c085800c317977ae439ba107.js"></script>
Save ncfavier/3220e4b7c085800c317977ae439ba107 to your computer and use it in GitHub Desktop.

Download ZIP

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

Raw

funext.agda

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

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