racket
| Name | Category | Description |
|---|---|---|
| gvim | app-editors | GUI version of the Vim text editor |
| idris2 | dev-lang | Purely functional programming language with first class types |
| vim | app-editors | Vim, an improved vi-style text editor |
| Name | Category | Description |
|---|---|---|
| gvim | app-editors | GUI version of the Vim text editor |
| idris2 | dev-lang | Purely functional programming language with first class types |
| vim | app-editors | Vim, an improved vi-style text editor |