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 |