An experiment to implement UTT-Sigma and some cool extensions like indexed types, glued evalution, meta-variables and pattern matching.
algebraic-sofia / loaf Goto Github PK
View Code? Open in Web Editor NEW๐ | An experiment to implement UTT-Sigma with exciting extensions like indexed types.