<div dir="ltr"><div class="gmail_extra"><font size="4"><font>Hi Mateusz,<br><br></font></font></div><div class="gmail_extra"><div class="gmail_quote"><font>On 22 October 2014 19:02, Mateusz Kowalczyk <span dir="ltr"><<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.uk</a>></span> wrote:<br></font><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":n9" class="" style="overflow:hidden"><font>I would also ask whether we could just talk to Agda directly, cutting<br>
out the process and parsing of the information: say we can talk to<br>
Haskell natively, would it be viable to just talk straight to the Agda<br>
library or would it be awkward to do so?</font></div></blockquote><div><br></div><div><font>This is possible. I wrote Apia (<a href="https://github.com/asr/apia">https://github.com/asr/apia</a>), a Haskell program that (partially) uses Agda as a Haskell library (actually, Apia uses a modified version of Agda).<br></font></div><div><br><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":n9" class="" style="overflow:hidden"><font> Notably, the package on Hackage says<br>
“Note that the Agda library does not follow the package versioning<br>
policy, because it is not intended to be used by third-party packages.”.</font></div></blockquote></div><br><font>That is very true. Given the constant modifications to Agda (I'm not complaing about it) keeping the Apia<br>program (and the modified version of Agda) updated is a time-consuming task.<br><br></font></div><div class="gmail_extra"><font>Best,<br></font></div><div class="gmail_extra"><br></div><div class="gmail_extra"><font></font></div><div class="gmail_extra"><font>-- <br></font><div dir="ltr"><font>Andrés</font><br></div>
</div></div>