combinator-nbe

★ 0 updated 4y ago ⑂ fork

Normalization by evaluation of simply typed combinators.

No plain-English explanation yet — one is being written right now. Check back in a minute.