[Agda] Setoids

Permjacov Evgeniy permeakra at gmail.com
Thu Feb 17 15:32:26 CET 2011


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?


More information about the Agda mailing list