minigent/examples/0_basics/01-arith/in.minigent

increment : U8 -> U8;
increment x = x + 1;

sumTo : U32 -> U32;
sumTo n = n * (n - 1) / 2;