#

elaboration

Here are 2 public repositories matching this topic...

brendanzab / language-garden

A garden of small programming language implementations 🪴

dependent-types programming-languages compilers l-systems elaboration compilation typechecking

Updated Nov 12, 2024
OCaml

jonsterling / dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

dependent-types tutorial elaboration

Updated Sep 13, 2021
OCaml

Improve this page

Add a description, image, and links to the elaboration 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 elaboration topic, visit your repo's landing page and select "manage topics."