thealmarty/Markdium-idris.idr

Created December 31, 2020 17:47

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/thealmarty/27575f2b686210190133580492dc257b.js"></script>
Save thealmarty/27575f2b686210190133580492dc257b to your computer and use it in GitHub Desktop.

Download ZIP

Markdium-Dependent types: formal definition and examples

Raw

Markdium-idris.idr

	onePlusOne : 1+1=2
	onePlusOne = Refl

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