Agda Github Community

Login: agda

Company: null

Location: null

email: null

Blog: http://wiki.portal.chalmers.se/agda

Members

  1. Alan Jeffrey
  2. Daniel Peebles

Repositories

agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.