[Agda] Importing libraries into Malonzo

[Ulf Norell]

On Tue, Jun 30, 2009 at 11:15 PM, Anton Setzer <A.G.Setzer at swansea.ac.uk>wrote:

> Hi,
>
> I would like to write a graphical user interface in Agda.
> The idea is to use Malonzo for this and a native library
> for creating graphical user interfaces.
> For this I need a way to tell Malonzo that a library needs to be imported.
> Is there a way of telling this to Malonzo?
>

{-# IMPORT Some.Haskell.Library #-}

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20090701/ac4b91ea/attachment.html