Ts Simple Nameof | B522 Pl Foundations | |
---|---|---|
Stars | 29 | 20 |
Downloads | ||
Dependent Packages | 36 | |
Dependent Repos | 8 | |
Most Recent Commit | 3 years ago | 4 years ago |
Total Releases | 11 | |
Latest Release | April 05, 2021 | |
Open Issues | 10 | |
License | mit | |
Programming Language | TypeScript | Agda |