Improve format of haskell statements

This commit is contained in:
Manuel Thalmann 2024-06-15 18:14:32 +02:00
parent f473f59f35
commit d8f7056f96

View file

@ -121,7 +121,7 @@ eval x =
-- >>> Z -- >>> Z
-- Z -- Z
-- >>> eval (S (S (S Z))) -- >>> eval $ S $ S $ S Z
-- 3 -- 3
uneval :: Integer -> NatNumber uneval :: Integer -> NatNumber