Agda Categories | Natural Transformation | |
---|---|---|
Stars | 341 | 16 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | 8 | |
Most Recent Commit | 3 months ago | 7 months ago |
Total Releases | 5 | |
Latest Release | November 15, 2016 | |
Open Issues | 54 | 1 |
License | mit | bsd-3-clause |
Programming Language | Agda | Haskell |