[Agda] Type rather than Set
Sergei Meshveliani
mechvel at botik.ru
Fri Jul 19 15:49:41 CEST 2013
Previous message:
[Agda] Postdoc or research programmers, Maynooth, Co. Kildare Ireland
Next message:
[Agda] Image f
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
I also vote for that `Type' is more adequate than `Set'. ------ Sergei
Previous message:
[Agda] Postdoc or research programmers, Maynooth, Co. Kildare Ireland
Next message:
[Agda] Image f
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list