ECMAScript back end for Functional Reactive Programming in Agda
Primary LanguageAgdaMIT LicenseMIT
No issues in this repository yet.