Skip to content

Instantly share code, notes, and snippets.

@PeterHajdu

PeterHajdu/Main.idr

Created May 31, 2019 18:45
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 PeterHajdu/db894c2dd5ea89ecba09b3252aab6e04 to your computer and use it in GitHub Desktop.
Save PeterHajdu/db894c2dd5ea89ecba09b3252aab6e04 to your computer and use it in GitHub Desktop.
Download ZIP
nat
Raw
Main.idr
module Main
isZ : Nat -> Bool
isZ Z = True
isZ _ = False
main : IO ()
main = do
print $ fromIntegerNat (-1)
print $ isZ $ fromIntegerNat (-1)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment