Popular repositories

1. 31C3Slides Public

   31C3 Slides

   Idris 9

2. strangegroup-idris-June2014 Public

   Code I presented in a demo at Strange Group

   Idris 8

3. ghcid-neovim Public

   `ghcid` implemented in `neovim`

   Vim script 7

4. rcfiles Public

   Some of my RC files

   Shell 6 1

5. haskell-vim Public

   Forked from neovimhaskell/haskell-vim

   Custom Haskell Vimscripts

   Vim script 6 2

6. IdrisCSVExample Public

   CSV Example using Type Providers

   Idris 5