Block or report user

Report or block raichoo

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@idris-hackers @idris-lang @neovimhaskell

Popular repositories

  1. 31C3Slides

    31C3 Slides

    Idris 9

  2. strangegroup-idris-June2014

    Code I presented in a demo at Strange Group

    Idris 8

  3. rcfiles

    Some of my RC files

    Shell 7 1

  4. ghcid-neovim

    `ghcid` implemented in `neovim`

    Vim script 7

  5. IdrisCSVExample

    CSV Example using Type Providers

    Idris 5

  6. TheFreeAndTheFurious

    LambdaWorld Cadiz & Codemesh London 2015

    Haskell 5 1

242 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

Created a pull request in fish-shell/fish-shell that received 6 comments

vi key bindings: fix `"*y`

Description I've had some issues with the "*y" key binding, apparently something goes wrong here when trying to paste something into my clipboard, …

+1 −1 6 comments

Seeing something unexpected? Take a look at the GitHub profile guide.