Copyright | (c) gspia 2020- |
---|---|
License | BSD |
Maintainer | gspia |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Fcf.Data.Nat
Documentation
data (==) :: Nat -> Nat -> Exp Bool Source #
Nat equality.
>>>
:kind! Eval (2 == 2)
Eval (2 == 2) :: Bool = 'True
>>>
:kind! Eval (2 == 3)
Eval (2 == 3) :: Bool = 'False