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()"
 |