Taddeus Kroes 180700fd3e Moved command-line arguments to global record vor 12 Jahren
..
bool_op.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
context_analysis.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
desug.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
dim_reduce.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
expand_dims.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
load.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
parse.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
print.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren
typecheck.ml 180700fd3e Moved command-line arguments to global record vor 12 Jahren