| Sat, 08 Jan 2011 10:02:43 -0800 | huffman | make print translation for Abs_cfun consistent with other binders: prevent eta-contraction, but don't force eta-expansion | changeset | files |
| Sat, 08 Jan 2011 09:34:08 -0800 | huffman | use full path for library imports | changeset | files |
| Sat, 08 Jan 2011 09:30:52 -0800 | huffman | types -> type_synonym | changeset | files |