/stop2015-redex

PLT Redex model of basic Dependently Typed Racket calculus

Primary LanguageRacketMIT LicenseMIT

Stargazers