[Agda] Announcement: Agda FFI

[Ulf Norell]

The darcs version of Agda now has support for a simple Haskell FFI, which
allows any Haskell function to be called from Agda. The documentation is on
the wiki:

http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Docs.FFI

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