Block or report user

Popular repositories

  1. misc

    misc haskell

    Haskell

  2. exercise

    Idris

  3. lightyear

    Forked from ziman/lightyear

    Parser combinators for Idris

    Idris

  4. idris-mode

    Forked from idris-hackers/idris-mode

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

    Emacs Lisp

  5. idris-webgl

    Forked from mankyKitty/idris-webgl

    Experimentation with Idris and WebGL via JavaScript FFI

    Idris

  6. IdrisNet2

    Forked from SimonJF/IdrisNet2

    A proper network library for Idris, now that I know what I'm doing.

    Idris

4 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

January 2017

DragonLi has no activity yet for this period.

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