[Agda] Info on interacting with the Agda process

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Oct 23 02:51:26 CEST 2014


Hi Mateusz,

On 22 October 2014 19:02, Mateusz Kowalczyk <fuuzetsu at fuuzetsu.co.uk> wrote:

> I would also ask whether we could just talk to Agda directly, cutting
> out the process and parsing of the information: say we can talk to
> Haskell natively, would it be viable to just talk straight to the Agda
> library or would it be awkward to do so?
>

This is possible. I wrote Apia (https://github.com/asr/apia), a Haskell
program that (partially) uses Agda as a Haskell library (actually, Apia
uses a modified version of Agda).


Notably, the package on Hackage says
> “Note that the Agda library does not follow the package versioning
> policy, because it is not intended to be used by third-party packages.”.
>

That is very true. Given the constant modifications to Agda (I'm not
complaing about it) keeping the Apia
program (and the modified version of Agda) updated is a time-consuming task.

Best,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141022/1d014b08/attachment.html


More information about the Agda mailing list