A functional & object-oriented language inspired by computational classical logic.
This code so far is the result of an REU in the summer of 2023, and includes a parser and pretty-printer for a simple language with copatterns and first-class objects.
Contributors:
- Christian Chung
- Gabriel Shahrouzi
- Paul Downen