29 Dec
2005
29 Dec
'05
9:48 a.m.
| My current uses of GADTs belong to the company I work for, so it would | be easier for me if *I* could check from time to time. Is the code | publicly available? Not yet, I'm afraid. But it will be soon. Simon