GitHub / agda-attic / agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda-attic%2Fagda-frp-js
PURL: pkg:github/agda-attic/agda-frp-js

Stars: 104
Forks: 12
Open issues: 3

License: mit
Language: Agda
Size: 210 KB
Dependencies parsed at: Pending

Created at: almost 14 years ago
Updated at: 8 months ago
Pushed at: almost 8 years ago
Last synced at: about 1 month ago

Loading...