#
2286c3de |
|
26-Jul-2006 |
James Reynolds <jr291@cam.ac.uk> |
encodeLib: Complete re-vamp, can now do PolyTypism, however has limited support for case functions eg. NULL translateScript: Now uses |= for type judgements, and makes use of some new functions such as andl and implies. translateLib: Some functions to support encoding which are used in both encodeLib and translateScript
|