Hide content and notifications from this user.
Contact Support about this user's behavior.
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
The Agda standard library
Fay integration for Snap that provides automatic (re)compilation during development
jQuery bindings for Fay (experimental)