Thu, 04 Dec 2008 23:46:20 +0100 | wenzelm | refined Future.fork interfaces, no longer export Future.future; | changeset | files |
Thu, 04 Dec 2008 23:46:20 +0100 | wenzelm | fork/map: no inheritance of group (structure is nested, not parallel); | changeset | files |
Thu, 04 Dec 2008 23:02:56 +0100 | wenzelm | future proofs: pass actual futures to facilitate composite computations; | changeset | files |
Thu, 04 Dec 2008 23:02:52 +0100 | wenzelm | renamed type Lazy.T to lazy; | changeset | files |