Hi Serguey,
I'm afraid there's no easy way we can help - both the problems you
mention are known limitations of programming with Epigram 1.
Yes - you can only undo the last change you made. There's no way to
edit code once you've hit escape. The only thing to do is copy the
entire buffer to *scratch*, make the changes you want, reset the
Epigram buffer, and try again. The same trick works if you want to
add a data constructor (although you may need to rewrite all the
functions you wrote using this data type as there is now a new
constructor).
If you want to do any serious development using Epigram, you may want
to look at Agda 2 (http://appserv.cs.chalmers.se/users/ulfn/wiki/
agda.php) instead - it's a lot more stable and better supported than
Epigram 1 is at the moment. A lot of our effort is focussed on
developing a new version of Epigram, instead of maintaining the old one.
Hope this helps,
Wouter
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.