forked from GitHub/gf-core
dd1b474a22
There were two differences between the current output and the old gold file:
1. The trees are no longer generated with increasing depth
2. The meaning of the -depth flag has changed: for example,
"gt -cat=Nat -depth=1" used to generate only "zero",
now you also get "succ zero".
15 lines
439 B
Plaintext
15 lines
439 B
Plaintext
succ (succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))))
|
|
succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
|
|
succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
|
|
succ (succ (succ (succ (succ (succ (succ zero))))))
|
|
succ (succ (succ (succ (succ (succ zero)))))
|
|
succ (succ (succ (succ (succ zero))))
|
|
succ (succ (succ (succ zero)))
|
|
succ (succ (succ zero))
|
|
succ (succ zero)
|
|
succ zero
|
|
zero
|
|
|
|
succ (succ zero)
|
|
|