Haskell alterantives for Isabelle or ACL2

Ferenc Wagner wferi@afavant.elte.hu
Tue, 13 May 2003 22:58:33 +0200


Iavor Diatchki <diatchki@cse.ogi.edu> writes:

> i wonder how many people have wanted to program their
> emacs in haskell :-)

Add one.
                                        Feri.