GitHub / agda / agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-frp-js
Stars: 100
Forks: 12
Open issues: 3
License: mit
Language: Agda
Size: 210 KB
Dependencies parsed at: Pending
Created at: over 13 years ago
Updated at: about 1 year ago
Pushed at: over 7 years ago
Last synced at: about 1 year ago
Loading...