Skip to content
Avatar
🎸
Funny how sometimes you just find things
🎸
Funny how sometimes you just find things
  • The University of Hong Kong

Highlights

Sponsoring

@racket

Pinned

  1. Emacs loves Programming Languages

    Emacs Lisp

  2. PLT Redex model for applicative intersection types

    Racket

  3. Learn Racket or others using Racket

    Racket

  4. some trivial redex models

    Racket

395 contributions in the last year

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

Contribution activity

March 2021

3 contributions in private repositories Mar 1 – Mar 4

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