Popular repositories Loading

1. 31C3Slides 31C3Slides Public

   31C3 Slides

   Idris 9

2. strangegroup-idris-June2014 strangegroup-idris-June2014 Public

   Code I presented in a demo at Strange Group

   Idris 8

3. ghcid-neovim ghcid-neovim Public

   `ghcid` implemented in `neovim`

   Vim Script 7

4. rcfiles rcfiles Public

   Some of my RC files

   Shell 6 1

5. TheFreeAndTheFurious TheFreeAndTheFurious Public

   LambdaWorld Cadiz & Codemesh London 2015

   Haskell 6 1

6. haskell-vim haskell-vim Public

   Forked from neovimhaskell/haskell-vim

   Custom Haskell Vimscripts

   Vim Script 6 2