Today we had a guest: Sebastian from Kiel.
Conor fixed a bug with unification in the old epigram. He also did some tests what happens, if we omit domains of lambdas and observed a noticable performance improvement. Hence: the new version should certainly treat lam different, but Conor may even fix this for the old epigram.
Conor noticed that the Durham cvs doesn’t work anymore, because it was on Edwin’s machine which seems to be switched off. Plan: move old cvs and homepage over to Nottingham and make it accessible from e-pig. Peter & James are looking into this.
We discussed a scheme how to realize “include” for the old version by emacs hacking: C-c C-c replaces
——————–
include Nat
———————
by
———————–
begin Nat
———————–
contents of Nat.epi
———————–
end Nat
———————–
C-c C-e does the inverse. Since it involves emacs hacking, Conor will do it himself.
Four.epig does work now. Updating the webpage doesn’t due to too much stickyness in the directory.
Conor gave an overview over the new version of the tutorial, which he has to finish by tomorrow.