Idris Interaction.rkt vs Tern
| Tern | Idris Interaction.rkt | |
|---|---|---|
| Stars | 4,248 | 25 |
| Downloads |  | |
| Dependent Packages | 327 | |
| Dependent Repos | 536 | |
| Most Recent Commit | 8 months ago | 7 years ago |
| Total Releases | 31 | |
| Latest Release | December 27, 2019 | |
| Open Issues | 156 | |
| License | mit | lgpl-3.0 |
| Programming Language | JavaScript | Racket |