taddeus/civicaml: OCaml implementation of the CiviC compiler for Compiler Construction course at UvA @ e326a5b132f177e10c47f6dd5c2ff9f4a60cfc9f

Taddeus Kroes e326a5b132 Disabled type pruning because of usefulness in other phases		12 éve
..
bool_op.ml	e326a5b132 Disabled type pruning because of usefulness in other phases	12 éve
context_analysis.ml	180700fd3e Moved command-line arguments to global record	12 éve
desug.ml	180700fd3e Moved command-line arguments to global record	12 éve
dim_reduce.ml	180700fd3e Moved command-line arguments to global record	12 éve
expand_dims.ml	180700fd3e Moved command-line arguments to global record	12 éve
load.ml	180700fd3e Moved command-line arguments to global record	12 éve
parse.ml	180700fd3e Moved command-line arguments to global record	12 éve
print.ml	662cca4a28 Moved args to ast.ml to avoid circular dependency	12 éve
typecheck.ml	e326a5b132 Disabled type pruning because of usefulness in other phases	12 éve