tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

3e1da4f0212f5016539a66f17c704389ebeaba2da1d4bea96d95023d3058c559.tri (380B)

      1 !import base *
      2 !export *
      3 
      4 incDecRev = y (self : matchList
      5   "1"
      6   (digit rest :
      7     matchBool
      8       (pair 48 (self rest))
      9       (pair (succ digit) rest)
     10       (equal? digit 57)))
     11 
     12 showNumberRev_ = y (self n acc :
     13   matchBool
     14     acc
     15     (self (pred n) (incDecRev acc))
     16     (equal? n 0))
     17 
     18 showNumber = (n :
     19   matchBool
     20     "0"
     21     (reverse (showNumberRev_ n t))
     22     (equal? n 0))
     23