[Agda] Example Runnable Agda Programs

Alan Jeffrey ajeffrey at bell-labs.com
Sat Dec 13 17:31:57 CET 2014


Yes, this is one of the problems with using a research language: 
programs which used to compile don't do so any longer, sigh.

A.

On 12/13/2014 03:50 AM, Mateusz Kowalczyk wrote:
> 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…
>


More information about the Agda mailing list