[Agda] Re: Feedback requested on automated decision module

[Samuel Gélineau]

Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: Main.agda
Type: application/octet-stream
Size: 1845 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20100914/53cfaaa5/Main-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Auto.agda
Type: application/octet-stream
Size: 1553 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20100914/53cfaaa5/Auto-0002.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Cardinality.agda
Type: application/octet-stream
Size: 762 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20100914/53cfaaa5/Cardinality-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Auto.agda
Type: application/octet-stream
Size: 2006 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20100914/53cfaaa5/Auto-0003.obj