Block or report user
  • Freshman at UCSD, Linguistics
  • La Jolla

Pinned repositories

  1. SweetJS

    A Swift to JavaScript compiler | translator | transpiler.

    C++ 7

24 contributions in the last year

Jul 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

July 2017

Created a pull request in ucsd-progsys/liquidhaskell that received 3 comments

Implement “Lists” chapter of SF in Liquid Haskell

Note that I do not know much about git and have undergone some crazy merging process. I manually added and deleted all unsynced files until GitHub …

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