kodept 0.2.2

Simple compiler with dependent types support in mind
Documentation