Epilogue

This is perhaps the latest in a long line of overdue and underdone documents describing Epigram 2. Check this blog for previous efforts. I’ll put the sources under darcs when there’s a mechanism to link the latest central version to the blog front page.

So far, it’s barely started. At all. What there is tends to concern itself rather more with how one writes sane rules etc, than with the rules themselves. I’ve only done the fragment with Π, to show the approach, which is highly algorithmic, yet (I hope) tolerably readable.

This document will have more authors than me. Ideally, we should be establishing a correspondence between the prescriptions made here and the implementation we generate and document in the EpiTome (the lhs2TeX source of the system). Being a realist, I expect a certain amount of feedback between the two. Indeed, you can tell this has already happened.

This entry was posted on Wednesday, May 31st, 2006 at 5:58 pm and is filed under General. You can follow any responses to this entry through the RSS 2.0 feed. You can skip to the end and leave a response. Pinging is currently not allowed.