eamsden/Test.idr

Created December 29, 2013 19:59

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

Download ZIP

Simple Idris source for testing things related to metavariables

Raw

	module Test

	fact2 : Nat -> Nat
	fact2 Z = S Z
	fact2 (S n) = let n' = S n in ?fct

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