i
i-10 else f91(f91(i+11)) fi (recursive)
i:
. f91(i) 
j == if i < j true ; false fii,j:. (i < j) 
== {i:| 0
i } Type| Some definitions of interest. | |
| f91 | Def f91(i) == if 100 < i i-10 else f91(f91(i+11)) fi (recursive) |
| Thm* i:. f91(i) | |
| lt_int | Def i < j == if i < j true ; false fi |
| Thm* i,j:. (i < j) | |
| nat | Def == {i:| 0i } |
| Thm* Type |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |