18 Nov
2014
18 Nov
'14
5:03 a.m.
Wojtek Narczyński
On 13.11.2014 19:56, Evan Laforge wrote:
WASH did that, a long time ago. They mentioned that they intentionally relaxed the rules, since being totally correct was annoying to actually use. There are docs here: http://www2.informatik.uni-freiburg.de/~thiemann/WASH/
Very nice package, I printed the paper, I'll look into it.
I like renovating old Haskell (and Ada) software, it is always so little work.
When you’ve done that, do have a look at mine (as posted earlier, there’s a snapshot at http:///scrap.bookofsand.co.uk/HTMLs.tar.gz ). It enforces more of the restrictions in the standards, but uses some more modern Haskell to do it. -- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk