blob: 5dbe22e3935f53f53789432af09508322e3133e3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
assumption
function digit/1
\add(\1 "0")
end function
function before_one/0
"§"
end function
end assumption
<letter \before_one()> : "\digit(0)"
<letter \digit(0)> : "\before_one()"
|