tricu

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

7aa9fa9e6e341e5e49508149748bf85efdd874641516de66aac3aaa98db6ec9d.tri (162B)

      1 -- Pure binary64 implementation; trusted internal helpers.
      2 !import native_math as N
      3 !import binary64_kernels as K
      4 !export max
      5 
      6 max a b = K.choose a b (N.gte a b)