T8917.stdout\scripts\ghci\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/ghci/scripts/T8917.stdout

blob: 1656fd7173a5b5136c1a9d1f119f1d060d1329a4 (plain)

Zero + Succ Zero :: Nat
= Succ Zero
Succ (Zero + Zero) :: Nat
= Succ Zero