/nbe-for-stlc

Practising Normalization by Evaluation on STLC.

Primary LanguageOCaml

Stargazers