ECMAScript back end for Functional Reactive Programming in Agda - View it on GitHub