5 Commits

Author	SHA1	Message	Date
hellerve	61808e10b3	Fixed ghci prompt	2015-03-10 09:18:30 +01:00
hellerve	0fb7af5e8f	Added valgrindrc	2015-03-10 09:17:08 +01:00
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