| Sun, 10 Jul 2011 17:58:11 +0200 | wenzelm | lambda terms with XML data representation in Scala; | changeset | files |
| Sun, 10 Jul 2011 16:34:17 +0200 | wenzelm | XML data representation of lambda terms; | changeset | files |
| Sun, 10 Jul 2011 16:31:04 +0200 | wenzelm | YXML.string_of_body convenience; | changeset | files |