[Agda] container examples?

Noam Zeilberger noam.zeilberger at gmail.com
Wed Oct 28 13:46:07 CET 2009

Previous message: [Agda] Importing Infix Operation Inside a Record From Record Field (Indentation fixed)
Next message: [Agda] container examples?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Just wondering if anyone has some Agda development of Containers that
they'd be willing to share?  Trying to build some intuition...
Noam

Previous message: [Agda] Importing Infix Operation Inside a Record From Record Field (Indentation fixed)
Next message: [Agda] container examples?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list