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;

add(101, 25);