[Epigram] Hi!

[nick thomas]

My name is Nick Thomas, and I've been following your work on Epigram for a few weeks. I've been reading the Epigram notes and some of the background material, on and off; I grok some of it, but it's pretty heavy for me in places (everywhere, actually). Having seen some of the things that you can do with dependent types, I'm really excited about the technology, and I'd like to contribute to the project. One thing I'd like to do is to write a GUI editor, and get Epigram out of XEmacs.