From fcd38292721ccae6220bd8872ae807bd218f7fc5 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 9 Jul 2015 00:10:30 +0200 Subject: Update README.md --- README.md | 23 +++++++++++------------ 1 file changed, 11 insertions(+), 12 deletions(-) diff --git a/README.md b/README.md index 3bf9d50..2a66a52 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit v1.2.3