[Agda] what is status of → ?

Permjacov Evgeniy permeakra at gmail.com
Fri Feb 11 11:15:49 CET 2011


When I give Agda _→_ as value (for example, as parameter for type
family) I get an error. So, is → a special synthax form and is there any
'standart' type constructor to be used as replacement ?


More information about the Agda mailing list