Edward O'Callaghan's repositories
cryptol.vim
A ViM plugin for the Cryptol programming language.
DragonFlyBSD
DragonFly Master Repository (clone)
EGL-Registry
EGL API and Extension Registry
idris-vim
Idris mode for vim
Language:VimL000
000
A ViM plugin for the Cryptol programming language.
DragonFly Master Repository (clone)
EGL API and Extension Registry
Idris mode for vim