mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-19 01:39:32 -06:00
51 lines
370 B
Plaintext
51 lines
370 B
Plaintext
\v0 -> v0 1
|
|
|
|
|
|
|
|
? 1
|
|
|
|
|
|
|
|
? 1
|
|
|
|
|
|
|
|
unknown variable unknown_var
|
|
|
|
unknown variable unknown_var
|
|
|
|
literal of function type
|
|
|
|
f 1 2
|
|
|
|
|
|
|
|
\v0 -> v0
|
|
|
|
|
|
|
|
?666
|
|
|
|
|
|
|
|
f
|
|
|
|
|
|
|
|
f 1 2
|
|
|
|
|
|
|
|
literal of function type
|
|
|
|
2
|
|
|
|
|
|
|
|
g 0
|
|
|
|
|
|
|
|
\v0 -> g v0
|
|
|
|
|
|
|
|
g ?
|
|
|
|
|
|
|
|
5
|
|
|
|
|
|
|
|
3
|
|
|
|
|
|
|
|
g2
|
|
|
|
|
|
|
|
f 3.2
|
|
|
|
|
|
|
|
g2 2.3
|
|
|
|
|
|
|
|
g2 (f 0) 1
|
|
|
|
|
|
|
|
3.14
|
|
|
|
|
|
|
|
succ zero
|
|
|
|
|
|
|
|
?
|
|
|
|
|
|
|
|
\v0 -> dec v0
|
|
|
|
|
|
|
|
dec ?
|
|
|
|
|
|
|