There were a few concrete points that did come out of today’s meeting.
Wouter should write a few bits of Haskell to fix Thorsten’s problems using include.
We also need several mailing lists:
- Epigram general e-mail address – epigram-help at epig etc
- Epigram developers – epigram-dev at cs dot nott etc
- Epigram nottingham crew – epigram-notts at cs dot nott etc
- General epigram discussion – epigram at durham etc
All with suitable links on e-pig if it’s relevant.
Conor also showed that lambda abstracting neutral terms requires more work than you might think at first.