[Agda] Set properties

[Carlos Camarao]

Hello.

I implemented the attached module SetProperties.agda, with sets
represented by lists, that proves set properties related to deletion,
membership, union, difference, taking of subsets and disjointness.
I don't know if they can be of any use to anybody, or what I could do
with it (if not just leave it to rest). I'd pleased to receive any comments
or suggestions.

All the best,

Carlos.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SetProperties.agda
Type: application/octet-stream
Size: 74090 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20150117/27348ded/SetProperties-0001.obj