[Agda] Type rather than Set

Sergei Meshveliani mechvel at botik.ru
Fri Jul 19 15:49:41 CEST 2013


I also vote for that `Type' is more adequate than `Set'.

------
Sergei



More information about the Agda mailing list