aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorCamil Staps2016-10-18 23:40:21 +0200
committerCamil Staps2016-10-18 23:40:21 +0200
commit7958bfe952186caa08f46c1ec99cc1ea40a8edb2 (patch)
tree04b5954ec321ef02636e8d8ffe448daf73ff8631 /README.md
parentAdd :undef (diff)
Cleanup
Diffstat (limited to 'README.md')
-rw-r--r--README.md20
1 files changed, 11 insertions, 9 deletions
diff --git a/README.md b/README.md
index 9fcde4c..3654c21 100644
--- a/README.md
+++ b/README.md
@@ -10,13 +10,15 @@ 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]
- $
+```
+$ ./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]
+$
+```
## Usage
Use `docker pull camilstaps/iclean` to pull the latest iClean version.
@@ -37,7 +39,7 @@ Use either `./iclean` or `make run`. You can of course add the executable
## Todo
- * Implement memory (e.g. to first declare a function / constant and then use it)
- * Allow extra imports
+* Implement memory (e.g. to first declare a function / constant and then use it)
+* Allow extra imports
[Clean]:http://clean.cs.ru.nl/Clean