diff options
author | Camil Staps | 2015-07-09 00:10:30 +0200 |
---|---|---|
committer | Camil Staps | 2015-07-09 00:10:30 +0200 |
commit | fcd38292721ccae6220bd8872ae807bd218f7fc5 (patch) | |
tree | 54c5f171a4254991f987559e9f86523686f1a787 | |
parent | Cleanup, removed warnings, newline at end session (diff) |
Update README.md
-rw-r--r-- | README.md | 23 |
1 files changed, 11 insertions, 12 deletions
@@ -1,35 +1,34 @@ # iClean Interactive Clean -This module allows you to execute Clean commands interactively, similar to GHCi or the Python shell. Functionality is very limited. In particular there is **no memory**, so you're restricted to one-liners. +This module allows you to execute [Clean][clean] commands interactively, similar to GHCi or the Python shell. Functionality is very limited. In particular there is **no memory**, so you're restricted to one-liners. Copyright © 2015 Camil Staps. This project is licensed under the MIT license. For more details, see the LICENSE file. ## Example session $ ./iclean - > [1,2,3,4] + λ. [1,2,3,4] [1,2,3,4] - > map toString [1..10] + λ. map toString [1..10] ["1","2","3","4","5","6","7","8","9","10"] - > [Ctrl-D] + λ. [Ctrl-D] $ ## Installation make iclean - + ## Running -Either - - ./iclean +Use either `./iclean` or `make run`. You can of course add the executable `iclean` to your path. -or - - make run +Disabling displaying `65536` and the execution times after a session (which is a Clean default) can be done by adding `-nr` and `-nt` to the command line arguments, respectively. You may want to make this an alias. ## Todo * Implement memory (e.g. to first declare a function / constant and then use it) * Commands memory (scroll through previous commands with arrow keys) - * Imports + * Allow moving left and right with the arrow keys when entering a new expression + * Allow extra imports + +[clean]:http://clean.cs.ru.nl/Clean |