Idris port of Yampa implementation from Safe Functional Reactive Programming through Dependent Types
shabesoglu / idris-yampa Goto Github PK
View Code? Open in Web Editor NEWThis project forked from bartadv/idris-yampa
Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types. WIP