[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