diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 00:42:49 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 00:42:49 +0000 |
| commit | 1c8789198373a52da9e80dc9b2b1ee2b67af61c4 (patch) | |
| tree | 980040a8d1828a85428b175eef9f6a4106248309 /repl.pl | |
| parent | 2a77288e28f2725b5621c239d2393d49f61993e8 (diff) | |
Make operators local to each module, and implement some more correct prettyprint code, used by write_term
Diffstat (limited to 'repl.pl')
0 files changed, 0 insertions, 0 deletions