Block or report user
  • New York, NY

Pinned repositories

  1. .emacs.d

    hand-rolled emacs configuration

    Emacs Lisp

  2. idris-meap

    Exercises from Edwin Brady's forthcoming "Type-Driven Development with Idris" through the Manning Early Access Program


88 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

March 2018

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