[Agda] type of map..<=

Sanjoy Das sanjoy at playingwithpointers.com
Thu Oct 4 21:03:15 CEST 2012


Hi Sergei,

Should be List Set I think.
-- 
Sanjoy Das
http://playingwithpointers.com


More information about the Agda mailing list