Fix parsing of labels beginning with digits.
[dead/harbl.git] / .ghci
2015-07-09 Michael OrlitzkyAdd a .ghci file.