[Agda] Interfacing with Haskell

[Nils Anders Danielsson]

On 2009-11-23 13:39, Ivan Tomac wrote:
> Is there a document somewhere describing Agda grammar by the way?

No. Ulf's AFP notes use the "with … | …" syntax, though:

  http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf

--
/NAD


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.