#

normalization-by-evaluation

Here are 2 public repositories matching this topic...

RedPRL / algaett

🦠 An experimental elaborator for dependent type theory using effects and handlers

algebraic-effects ocaml proof-assistant type-theory normalization-by-evaluation ocaml-program

Updated Oct 3, 2023
OCaml

nguermond / normalization-by-evaluation

Various implementations of normalization by evaluation.

lambda-calculus type-theory normalization-by-evaluation

Updated May 1, 2021
OCaml

Improve this page

Add a description, image, and links to the normalization-by-evaluation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the normalization-by-evaluation topic, visit your repo's landing page and select "manage topics."