7 May
2002
7 May
'02
4:33 p.m.
On Tuesday 07 May 2002 02:07, John Meacham wrote:
DrIFT which i am now maintaining can derive such utility functions out of the box. just add a {-!deriving: update -} to get update functions for every labeled field in a datatype. quite useful, I have not updated the web page yet, but the new DrIFT homepage will be at
Very nice :) I'll check it out. J.A.