Block or report user

Pinned repositories

  1. idris-hackers/idris-mode

    Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

    Emacs Lisp 172 45

  2. ip-to-file

    Write your public IP to a file

    HTML

23 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2018

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