kodept-inference 0.2.3

Simple compiler with dependent types support in mind
Documentation