tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

bb308926e7aec1a76681e227ce0eb6ee584dc9b8b44b3321b51135163b4d7a25.tri (491B)

      1 -- Pure binary64 implementation; trusted internal helpers.
      2 !import binary64_kernels as K
      3 !export drop2
      4 !export drop3
      5 !export drop4
      6 !export flagsOr
      7 
      8 drop2 x = K.tail (K.tail x)
      9 drop3 x = K.tail (drop2 x)
     10 drop4 x = K.tail (drop3 x)
     11 flagsOr a b = t (K.either (K.head a) (K.head b))
     12   (t (K.either (K.head (K.tail a)) (K.head (K.tail b)))
     13     (t (K.either (K.head (drop2 a)) (K.head (drop2 b)))
     14       (t (K.either (K.head (drop3 a)) (K.head (drop3 b)))
     15         (K.either (drop4 a) (drop4 b)))))