[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