|
|
|
|
|
|
by nullzzz
4890 days ago
|
|
|
Roger that. I got into trouble with Hot and Cold Observables and wanted a model that fits my needs a bit better. Hence Reactive Bacon (https://github.com/raimohanska/reactive-bacon). Then I realised I cannot run Haskell in some of the contemporary browsers and translated it into Javascript :) |
|
|
Happily, Agda has a JavaScript backend. So now you can fill your UIs with dependently typed goodness :P.