tricu

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

conversions.tri (376B)

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