CoolTT

https://github.com/redprl/cooltt

A cool implementation of normalization by evaluation (NbE) & elaboration for Cartesian cubical type...

Tokens:2,853
Snippets:11
Trust Score:7.3
License:Apache-2.0
Update:11 months ago
Tokens:
Raw