dependently-typed
  • wiki
  • meetings
  • Interpreter for Bel

    Paul Graham developed a specification for a new dialect of Lisp which he named Bel. Through this project we will develop an interpreter for Bel.

    Technical pre-reqs:

    • Basic knowledge of Lisp
    • Some experience with developing interpreters. See Crafting Interpreters for a great introduction

    Relevant documents:

  • rss
  • email
  • github
  • discord