dependently-typed
  • wiki
  • meetings
  • blog
  • Schedule

    Spring 2022

    Meeting: weekly, Tuesday, 6-7pm EST TBD
    Hacking session: bi-weekly, Thursday, 6-7pm EST Discord

    Mon Tue Wed Thu Fri Sat Sun
    Project setup
    Which parsing approach?
    article
    learn-a-lang:
    rust (w/ rustlings)
    λ calculus
    cornell notes
    IconVG
    spec
    WebAssembly
    WebAssembly Memory
    article
    Prep for gt-langjam
    hack-a-lang prep
    hack-a-lang 0001
    Spring break
    Spring break
    Spring break
    Spring break
    Spring break
    Memory models (Russ Cox)
    part 1, part 2
    learn-a-lang:
    OCaml
    Retrofitting parallelism onto OCaml
    paper
    Guest Lecture
    Speaker: TBD
    Get started with React
    Build your own React
    article, React FAQ
  • rss
  • email
  • github
  • discord