[Agda] collections/containers/finite sets

Ramana Kumar rk436 at cam.ac.uk
Thu Nov 10 16:59:51 CET 2011


Is there an Agda library defining a type of finite set-like
collections of elements of any type?

Fin seems to be just for sets of numbers. What about sets of another
type (or even a newly defined type)?


More information about the Agda mailing list