viclib/gist:6434497

Created September 4, 2013 08:58

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

Download ZIP

why this doesn't compile

Raw

gistfile1.txt

	testVec : Vect 5 Int
	testVec = 3 :: 4 :: 5 :: 6 :: 7 :: Nil
	aff : Int
	aff = index (2 + 2) testVec

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