Wed, 28 Apr 2010 17:04:56 +0200 | haftmann | export somehow odd mapa explicitly | changeset | files |
Wed, 28 Apr 2010 16:56:19 +0200 | haftmann | exported print_tuple | changeset | files |
Wed, 28 Apr 2010 16:56:18 +0200 | haftmann | take into account tupled constructors | changeset | files |
Wed, 28 Apr 2010 16:56:18 +0200 | haftmann | avoid code_datatype antiquotation | changeset | files |
Wed, 28 Apr 2010 19:46:09 +0200 | bulwahn | merged | changeset | files |
Wed, 28 Apr 2010 16:45:51 +0200 | bulwahn | added an example with a free function variable to the Predicate Compile examples | changeset | files |
Wed, 28 Apr 2010 16:45:50 +0200 | bulwahn | removed local clone in the predicate compiler | changeset | files |