14 Nov
2014
14 Nov
'14
3:01 p.m.
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. -- Wojtek