Lean type-checker written in Scala.
-
Updated
Mar 13, 2022 - Scala
#
type-checker
Here are 3 public repositories matching this topic...
Checking Dependent Types with Normalization by Evaluation
-
Updated
Oct 1, 2018 - Scala
The project of the Computer Language Processing (CLP) course in EPFL. It implements a compiler and an interpreter for Amy Language that is a subset of Scala. (2018-2019)
-
Updated
Dec 21, 2018 - Scala
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."