[Agda] Feedback requested on automated decision module

[Nils Anders Danielsson]

On 2010-09-14 06:15, Gregory Crosswhite wrote:
> If so, do you all have any suggestions for me on how I should clean up
> / generalize the module to fit in with the standard library?

I have not looked at the code yet, but an obvious generalisation is to
merge the various decide_n functions into a single function which takes
n as an argument.

-- 
/NAD