sweirich / pi-forall
git clone https://github.com/sweirich/pi-forall.git
A demo implementation of a simple dependently-typed language
+0
stars, 24h · #67,941
+0
stars, 7 days · #68,138
+~2
stars, 30 days · #60,285
632
★ total
99
forks · 0 open issues
Star history (as recorded here)
LanguageHaskell
LicenseBSD-3-Clause
Created2013-07-20 (13y ago)
Last push27d ago
OwnerUser
Links
README
Loading README…