| Thu, 08 Nov 2018 14:56:53 +0100 | wenzelm | simplified -- according to regular "ghci" script; | file | diff | annotate |
| Thu, 18 Oct 2018 12:35:32 +0200 | wenzelm | clarified errors; | file | diff | annotate |
| Wed, 17 Oct 2018 22:41:59 +0200 | wenzelm | more robust: avoid implicit setup (with default resolver); | file | diff | annotate |
| Wed, 17 Oct 2018 21:38:07 +0200 | wenzelm | support for GHC via command-line tools; | file | diff | annotate |