lsts 0.6.34

Large Scale Type Systems
Documentation 
1
2
3
4
5

import $"preludes/l1.tlc";

let add(x: I64, y: I64): I64 = x + y;

101 `add` 25 `add` 40;