An attempt at relatively straightforward integration of Agda into a Typescript project
Primary LanguageJavaScript