lsts 0.6.34

Large Scale Type Systems
Documentation 
1
2
3
4
5
6
7
8
9

import $"preludes/l1.tlc";

let fib(x: I64): I64 = match x {
   0 => 0,
   1 => 1,
   _ => fib(x - 1) + fib(x - 2)
};

fib(25);