Agda Mode vs Compliment
| Compliment | Agda Mode | |
|---|---|---|
| Stars | 348 | 58 |
| Downloads | ||
| Dependent Packages | ||
| Dependent Repos | 10 | |
| Most Recent Commit | 7 months ago | 3 years ago |
| Total Releases | 42 | |
| Latest Release | February 23, 2019 | |
| Open Issues | 10 | 27 |
| License | epl-1.0 | mit |
| Programming Language | Clojure | Reason |