This directory contains definitions used for miscellaneous translator examples from used in the original ICFP paper about the translator.
copying_gcScript.sml: Algorithm of a copying garbage collector.
ninetyOneScript.sml: McCarthy's 91 function.
regexpMatchScript.sml: Regular expression matcher Author: Scott Owens
slr_parser_genScript.sml: The following definitions are from HOL4 sources found on Aditi Barthwal's webpage: http://users.cecs.anu.edu.au/~aditi/ Her definitions are reproduced below so that we can try our hol2miniml translator on them.