Commit 33d92b5c authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

typo

parent 81296527
......@@ -219,7 +219,7 @@ instance Show (IsEven n) where
------------------------------------------------------------------------------ -}
-- | Unary implemenation of natural numbers.
-- | Unary implementation of natural numbers.
-- Used both at the type and at the value level.
data Nat1 = Zero | Succ Nat1
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment