/agda-frp-ltl

An implementation of Functional Reactive Programming

Primary LanguageAgdaMIT LicenseMIT

Stargazers