Update edsl-demo example
Clarification and motivation
We have examples/EDSL
. It uses an old version of morley
and lts-14.15 resolver which is old as well.
Acceptance criteria
examples/EDSL
uses the latest morley
from Hackage and the latest resolver we are using in the repo. docs/testingEDSL.md
is updated accordingly.