[Agda] collections/containers/finite sets

Dominique Devriese dominique.devriese at cs.kuleuven.be
Tue Nov 15 12:13:19 CET 2011

Previous message: [Agda] collections/containers/finite sets
Next message: [Agda] collections/containers/finite sets
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> Data.Function._on_ function,

Sorry, that should be Function._on_ .

Dominique

Previous message: [Agda] collections/containers/finite sets
Next message: [Agda] collections/containers/finite sets
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list