[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