An implementation of Linear Lambda Calculus.
-
Updated
Apr 16, 2020 - OCaml
#
typesystem
Here are 2 public repositories matching this topic...
Short program to illustrate the use of polymorphic variant in OCaml
-
Updated
Feb 23, 2017 - OCaml
Improve this page
Add a description, image, and links to the typesystem topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typesystem topic, visit your repo's landing page and select "manage topics."