aboutsummaryrefslogtreecommitdiff
path: root/challenge-059/ben-davies
diff options
context:
space:
mode:
Diffstat (limited to 'challenge-059/ben-davies')
-rw-r--r--challenge-059/ben-davies/README.md11
1 files changed, 11 insertions, 0 deletions
diff --git a/challenge-059/ben-davies/README.md b/challenge-059/ben-davies/README.md
new file mode 100644
index 0000000000..9b706ecd09
--- /dev/null
+++ b/challenge-059/ben-davies/README.md
@@ -0,0 +1,11 @@
+Solution by Ben Davies
+
+# Using the Solutions
+
+- Install
+ [Idris](https://github.com/idris-lang/Idris-dev/wiki/Installation-Instructions)
+ and ensure its executable is in your path.
+- Run `$ make -j2`. The executables for the challenges will be output to
+ `./ch-1` and `./ch-2`.
+- Run `$ make clean` to remove compiled objects or `$ make distclean` to
+ remove the executables as well, if you wish.