Freeman.stdout\polykinds\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/polykinds/Freeman.stdout

blob: 691a9d3e9b8b7f0a4fe6f16acbc082934d42270a (plain)

1	`Succ1 0 (Succ2 1 (Succ1 2 (Succ2 3 (Succ1 4 (Succ2 5 Zero)))))`