joelburget/gist:8763937

Created February 2, 2014 06:45

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

Download ZIP

idris

Raw

gistfile1.idr

	data Matrix : Vect n Nat -> Type -> Type where
	Mat : (foldr Vect a dims) -> Matrix (Vect n Nat) a

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