| Sat, 29 May 2010 17:26:02 +0200 | wenzelm | avoid :\ which is not tail-recursive and tends to overflow the tiny JVM stack, which is not resizable at runtime; | changeset | files |
| Sat, 29 May 2010 16:44:44 +0200 | wenzelm | define_state/new_state: provide state immediately, which is now lazy; | changeset | files |