[Agda] Setoids

Nils Anders Danielsson nad at chalmers.se
Thu Feb 17 17:54:38 CET 2011


On 2011-02-17 15:32, Permjacov Evgeniy wrote:
> Setoid record in standart library contains type (i.e. Carrier) of setoid
> as record field. An alternative is to make carrier a type parametr of
> setoid. Why the first approach is chosen?

See the README:

   http://www.cse.chalmers.se/~nad/listings/lib/README.html

-- 
/NAD


More information about the Agda mailing list