about summary refs log tree commit diff
path: root/bootstrap.sh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-10-26T16·59+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-10-26T16·59+0000
commitee401afad81dc7759c66829372826f98268ae606 (patch)
tree427342ad19e6a33994a12c756b1bab8f4da6c775 /bootstrap.sh
parent37d7abd69402f0e7a78d4d2f2d78996409a8563a (diff)
* Mode `--parse-only' to parse the input (on stdin, `-'), and print
  out the AST as an ATerm.
* Mode `--eval-only' to parse and evaluate the input, and print the
  resulting normal form as an ATerm.

Neither of these modes require store/DB write permission.

Diffstat (limited to 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions