/agda-frp-ltl

An implementation of Functional Reactive Programming
  1. Agda 100.0%
Switch branches/tags
Nothing to show
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/FRP/LTL
LICENSE
README

README 

This is an implementation of Functional Reactive Programming in Agda,
with types given as LTL formulae.

The top-level module is FRP.LTL.

The specification is given in terms of "reactive types", defined in FRP.LTL.RSet.

The implementation is given in term of "interval types", defined in FRP.LTL.ISet.

This library makes use of experimental features of Agda, and compiles
with the trunk branch of the Agda compiler and standard library as of August 2011.