All Git Users → moonad-archive

1 open source projects by moonad-archive

[ Open user page on Github ]

1. Formality Javascript

An implementation of the Formality language in JavaScript

✭ 71

javascript lambda-calculus

1-1 of 1 user projects