Skip to content

Instantly share code, notes, and snippets.

@shriphani

shriphani/foo.idr

Created July 20, 2019 03:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save shriphani/b19c636f9718004e2870cb5a85a6f687 to your computer and use it in GitHub Desktop.
Save shriphani/b19c636f9718004e2870cb5a85a6f687 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
foo.idr
longer : String -> String -> Nat
longer word1 word2 = let len1 = length word1
len2 = length word2 in
if len1 > len2 then len1 else len2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment