Idris Mode vs Indium
| Indium | Idris Mode | |
|---|---|---|
| Stars | 1,128 | 253 |
| Downloads |  | |
| Dependent Packages | 2 | |
| Dependent Repos | ||
| Most Recent Commit | a year ago | 9 months ago |
| Total Releases | 17 | |
| Latest Release | October 23, 2019 | |
| Open Issues | 22 | 51 |
| License | gpl-3.0 | gpl-3.0 |
| Programming Language | Emacs Lisp | Emacs Lisp |