3 Commits

Author	SHA1	Message	Date
Veit Heller	04f638e438	Changed ghci to not use wall	2015-01-23 17:42:02 +01:00
Veit Heller	571fa0632f	Added a few minor things	2014-07-28 10:13:02 +02:00
Veit Heller	26e1a028dc	Added ghci	2014-06-12 13:25:06 +02:00