samueldurantes/rinha

A "rinha" interpreter based on normalization by evaluation (NbE) using high-order abstract syntax (HOAS)

rinha

A interpreter based on normalization-by-evaluation (NbE) using high-order abstract syntax (HOAS). HOAS allows the reuse of Haskell's closures, consequently requiring no closures implementation or ß-reductions algorithms from scratch.

References

• https://github.com/AndrasKovacs/elaboration-zoo/tree/master/01-eval-HOAS-names