[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