blob: 9b706ecd09f109b8644426cc40639f2dd383c1f3 (
plain)
1
2
3
4
5
6
7
8
9
10
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.
|
