kodept-inference 0.2.0

Simple compiler with dependent types support in mind
Documentation