zsparks / scheme-dep

A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
8Updated 10 years ago

Alternatives and similar repositories for scheme-dep:

Users that are interested in scheme-dep are comparing it to the libraries listed below