[Agda] FRP implementation in Agda

Robin Green greenrd at greenrd.org
Thu Aug 4 22:58:24 CEST 2011


Interesting. Which previous FRP approach or approaches would you say
your library is closest to?

Regards,
Robin

On Thu, 4 Aug 2011 14:43:46 -0500, Alan Jeffrey <ajeffrey at bell-labs.com> wrote:
> 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