bend-frp
A functional reactive programming library implemented in Bend 2, with behaviors, timed events and stepwise state machines. Its web layer represents views and effects as data, with a JavaScript runtime that patches the DOM. Includes law and proof files plus a todo example.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/hhefesto/bend-frp ↗GitHubhttps://github.com/hhefesto/bend-frp/blob/master/README.md ↗GitHubhttps://github.com/hhefesto/bend-frp/blob/master/Frp.bend ↗