From: Matthew Flatt (mflatt at cs.utah.edu) Date: Thu Dec 15 18:05:53 EST 2011 |
|
At Thu, 15 Dec 2011 15:56:51 -0500, Tony Garnock-Jones wrote: > Converting a number of alternative events into a single event by folding > choice-evt over them one-at-a-time takes O(n^2) time. Fix pushed.
Posted on the users mailing list. |
|