[Agda] type of map..<=
Sanjoy Das
sanjoy at playingwithpointers.com
Thu Oct 4 21:03:15 CEST 2012
Previous message:
[Agda] type of map..<=
Next message:
[Agda] type of map..<=
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Hi Sergei, Should be List Set I think. -- Sanjoy Das
http://playingwithpointers.com
Previous message:
[Agda] type of map..<=
Next message:
[Agda] type of map..<=
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list