# Kodept

Simple compiler with dependent types support in mind