minigent/examples/0_basics/01-arith/expected.out

increment : U8 -> U8;
increment x = (x : U8) + (1 : U8) : U8;
sumTo : U32 -> U32;
sumTo n = ((n : U32) * ((n : U32) - (1 : U32) : U32) : U32) / (2 : U32) : U32;