The Coq mailing list

[Daniel Wyckoff <dwyckoff76 AT hotmail.com>]

Dear all,
I will be making extensive use of finite maps in my development, and I understand by reading the list that an overhaul of the standard library is in the works, and I can certainly write whatever additional features I need from FSets and FMap (weak-listed) (they're mostly simple like a function that takes an FMap and returns its domain as an FSet, etc.), but I was wondering if it was worth it to download the Trunk, or if I'd be better off just using my ad-hoc home-grown solution.  The only reason I'm not using ssreflect's finite maps is my development is non-constructive and uses (arbitrarily) infinite sets.  I'm also working on the assumption that even though FSets is more or less deprecated, it would be easier to adapt it to my needs than mirror FMaps in MSets.

And of course any advice on working with finite maps would be great.

Thanks
-Daniel Wyckoff