| Sat, 09 Jul 2011 19:29:25 +0200 | bulwahn | adding quickcheck examples for evaluating floor and ceiling functions | changeset | files |
| Sat, 09 Jul 2011 19:28:33 +0200 | bulwahn | adding code equations to execute floor and ceiling on rational and real numbers | changeset | files |
| Sat, 09 Jul 2011 13:41:58 +0200 | bulwahn | adding a floor_ceiling type class for different instantiations of floor (changeset from Brian Huffman) | changeset | files |
| Sun, 10 Jul 2011 20:59:04 +0200 | wenzelm | inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); | changeset | files |
| 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 |
| Sun, 10 Jul 2011 16:13:37 +0200 | wenzelm | made SML/NJ happy; | changeset | files |