Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)
Primary LanguageAgda
No issues in this repository yet.