agda / agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agda/agda-frp-js Stargazers