[Agda] FRP implementation in Agda
Alan Jeffrey
ajeffrey at bell-labs.com
Thu Aug 4 21:43:46 CEST 2011
Hi everyone,
I've recently started work on a Functional Reactive Programming (FRP)
library for Agda:
https://github.com/agda/agda-frp-ltl
It's early days at the moment, there's lots of gaps and very few
combinators, but the basic architecture is in place. The most
interesting feature of the library is that it uses a constructive
variant of Linear-Time Temporal Logic (LTL) as its type system.
The long-term goal is to combine this with the JavaScript back end to
allow GUI programs to be written in Agda and executed in the browser.
A.
More information about the Agda
mailing list