Repositories tagged with "moonad"
Kind
HigherOrderCO
โA modern proof languageโ
Formality-JavaScript
moonad-archive
โAn implementation of the Formality language in JavaScriptโ