RE: [Epigram] Hi!

[Cyril]

Hi Nick!

 

Maybe it will be useful for you to take a look at JetBrains MPS http://www.jetbrains.com/mps/ . Maybe it will help you somehow to develop your editor.

Here is my own humble attempt to use MPS for developing Epigram editor: http://www.jetbrains.net/confluence/display/MPS/Epigram . It runs, but unfortunately it isn't complete and currently I don't think I'll develop it further :(

 

Cheers,

Cyril.

 

---

From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of nick thomas
Sent: Friday, January 06, 2006 7:19 AM
To: Epigram
Subject: [Epigram] Hi!

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.