Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Markdium-Dependent types: formal definition and examples
onePlusOne : 1+1=2
onePlusOne = Refl
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment