[Agda] Re: Agda FFI bindings

Nils Anders Danielsson nad at cs.nott.ac.uk
Fri Sep 24 06:44:56 CEST 2010

Previous message: [Agda] Re: Agda FFI bindings
Next message: [Agda] Re: Agda FFI bindings
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2010-09-20 21:34, Alan Jeffrey wrote:
> PS: Should I create an enhancement request on the bugtracker?

Please do so.

--
/NAD

Previous message: [Agda] Re: Agda FFI bindings
Next message: [Agda] Re: Agda FFI bindings
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list