#

gadts

Here are 2 public repositories matching this topic...

aradarbel10 / Styff

A functional programming language based on system F (omega) ft. NbE and higher order unification

programming-language compiler pattern-matching ocaml functional-language type-inference typechecking system-f system-f-omega gadts

Updated May 12, 2023
OCaml

Mari-W / ocaml-gadts

german introduction slides to gadts in ocaml

ocaml gadts

Updated Jul 27, 2022
OCaml

Improve this page

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