{"ref":null,"ref_type":"repository","master_branch":"master","description":"Idris implementation of Yampa FRP library as described in Safe Functional Reactive Programming through Dependent Types","pusher_type":"user"}
{"actor":{"display_login":"BartAdv"}}