An experimental typechecker with dependent types, homogeneous path types, and cubical composition
Primary LanguageRustGNU General Public License v3.0GPL-3.0