Rfc Bibtex | Agda2lagda | |
---|---|---|
Stars | 25 | 13 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | ||
Most Recent Commit | 5 years ago | 3 months ago |
Total Releases | 3 | 5 |
Latest Release | March 16, 2019 | June 09, 2023 |
Open Issues | 5 | 1 |
License | mit | unlicense |
Programming Language | Python | Haskell |