test.gfs.gold « paraphrase « testsuite - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/testsuite/paraphrase/test.gfs.gold

blob: 7817d2e674e6bdae6007b4b87865624d4bb03e95 (plain)

Succ (Succ Zero)



Succ (Succ (Succ Zero))



Succ (Succ Zero)



unknown variable two

Succ Zero



Succ (Succ (Succ Zero))