Primary LanguageOCaml
Simple NBE (normalization by evaluation) for a variant of pure untyped lambda calculus.