Skip to content

Instantly share code, notes, and snippets.

@siddhartha-gadgil

siddhartha-gadgil/concatreverse.agda

Created March 18, 2014 14:03
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save siddhartha-gadgil/9620706 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save siddhartha-gadgil/9620706 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
concatreverse.agda
_++_ : {A : Set} → List A → List A → List A
[] ++ l = l
(a :: xs) ++ l = a :: (xs ++ l)
reverse : {A : Set} → List A → List A
reverse [] = []
reverse (a :: l) = (reverse l) ++ (a :: [])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment