kodept-inference 0.2.1

Simple compiler with dependent types support in mind
Documentation