Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Maintainers:
alexarice: agdaPackages.cubical, agdaPackages.cubical, agdaPackages.cubical, agdaPackages.cubical
ryanorendorff: agdaPackages.cubical, agdaPackages.cubical, agdaPackages.cubical, agdaPackages.cubical
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.