programdemos/sub.xtl

A dyadic user function; every function is curried. Run it with ./demos/sub.xtl or "xetal run demos/sub.xtl"; it prints 7 twice, from 10 ᵘs̲ub 3 and from the partial application u:t_enMinus.

source

ᵘs̲ub : Num a => a -> a -> a

function · line 7

a u:s_ub b: a minus b.

ᵘs̲ub ← { ⍺ − ⍵ }

Used in: demos/sub.xtl:8, ᵘt̲enMinus

ᵘt̲enMinus : Int -> Int

function · line 10

u:t_enMinus x: 10 minus x, u:s_ub with its left argument fixed at 10.

ᵘt̲enMinus ← ᵘs̲ub 10         ⍝ partial application fixes the left argument

Used in: demos/sub.xtl:11