Abstract
Ask-Elle is a tutor for learning the Haskell programming language.
It supports development of Haskell programs by providing stepwise
hints and verifying the correctness of the resulting programs. Ask-
Elle can do this based only on a model solution, which minimizes
the work to set up exercises. The main contribution of our work
is improving
... read more