kodept 0.2.3

Simple compiler with dependent types support in mind
Documentation 
1
2
3
4
5

module Fib =>

fun fib(n) =>
    if n < 2 => 1
    else => fib(n - 1) + fib(n - 2)