1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
# iClean
Interactive Clean
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]
λ. map toString [1..10]
["1","2","3","4","5","6","7","8","9","10"]
λ. [Ctrl-D]
$
## Installation
make iclean
## Running
Use either `./iclean` or `make run`. You can of course add the executable `iclean` to your path.
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)
* Allow extra imports
[clean]:http://clean.cs.ru.nl/Clean
|
