#
dependent-types
Here are 7 public repositories matching this topic...
The Little Typer study group London
-
Updated
Jan 9, 2019 - Racket
inductive based on introduction/elimination rules
-
Updated
Dec 15, 2020 - Racket
Valuable code and experiments about the book "The Little Typer"
-
Updated
Jul 2, 2020 - Racket
PL Theory, Learning & Write-ups
scheme haskell dependent-types functional-programming racket ocaml lambda-calculus theorem-proving sml type-theory programming-languages logic-programming
-
Updated
Sep 4, 2025 - Racket
An implementation of control operators for Cur.
-
Updated
Sep 7, 2017 - Racket
Resources for "The Little Typer" study group
-
Updated
Mar 19, 2020 - Racket
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."