Plfa.github.io | Ghc Whole Program Compiler Project | |
---|---|---|
Stars | 1,285 | 110 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | ||
Most Recent Commit | 5 months ago | 8 months ago |
Total Releases | ||
Latest Release | ||
Open Issues | 45 | 7 |
License | cc-by-4.0 | |
Programming Language | Agda | Haskell |