tricu

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

da07ad9055f71d6a751659772f900cb06a7e7cd73ab953c5c374e776190a788e.tri (264B)

      1 !import base *
      2 !export *
      3 
      4 bytesNil? = emptyList?
      5 
      6 bytesHead =
      7   matchList nothing (h _ : just h)
      8 
      9 bytesTail =
     10   matchList nothing (_ r : just r)
     11 
     12 bytesLength = length
     13 bytesAppend = append
     14 bytesTake = take
     15 bytesDrop = drop
     16 bytesSplitAt = splitAt
     17 bytesEq? = equal?
     18