siddhartha-gadgil/length.agda

Created March 18, 2014 13:37

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/siddhartha-gadgil/9620174.js"></script>
Save siddhartha-gadgil/9620174 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

length.agda

	length : {A : Set} → List A → ℕ
	length [] = zero
	length (a :: l) = succ (length l)

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