[Agda] COMPILED_DATA directive for Maybe

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Mon Nov 23 00:05:01 CET 2009

Previous message: [Agda] Interfacing with Haskell
Next message: [Agda] COMPILED_DATA directive for Maybe
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Any ideas how to define a COMPILED_DATA directive for the (new)
universe polymorphic datatype Maybe defined in Data.Maybe.Core?

Thanks,

-- 
Andrés

Previous message: [Agda] Interfacing with Haskell
Next message: [Agda] COMPILED_DATA directive for Maybe
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list