| Wed, 15 Sep 2010 10:34:39 -0700 | huffman | rename some fixrec pattern-match compilation functions | changeset | files |
| Thu, 30 Sep 2010 15:37:12 +0200 | bulwahn | adding example for case expressions | changeset | files |
| Thu, 30 Sep 2010 15:37:11 +0200 | bulwahn | applying case beta reduction to case term before matching in predicate compile function flattening; moving case beta reduction function to Predicate_Compile_Aux | changeset | files |