Block or report user
  • National Chiao Tung University
  • Taichung, Taiwan

Pinned repositories

  1. agda-mode

    agda-mode on Atom

    TypeScript 25 6

  2. for haskell folks

    Haskell 21 5

  3. language-agda

    Agda language support for the Atom editor

    6 4

  4. formal-language

    Curry–Howard Correspondence for fun

    Haskell 4

  5. edis

    typed redis

    Haskell 2

867 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

August 2017

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