[Agda] Example Runnable Agda Programs
Mateusz Kowalczyk
fuuzetsu at fuuzetsu.co.uk
Sat Dec 13 10:50:34 CET 2014
On 12/12/2014 07:47 PM, Alan Jeffrey wrote:
> I've written some executable agda:
>
> An FRP library, compiling down to JavaScript
> https://github.com/agda/agda-frp-js
> http://asaj.org/papers/padl13.pdf
>
> An IO library based on transducers, compiling down to Haskell
> https://github.com/agda/agda-system-io
> http://asaj.org/papers/csl11.pdf
>
> A.
>
Last time I checked, neither of these type-checked with previous Agda
release, no to mention current…
--
Mateusz K.
More information about the Agda
mailing list