:set -isrc:tests
:set -XCPP
:set -XOverloadedStrings
:set -XFlexibleContexts
:set -XFlexibleInstances
:set -XQuasiQuotes
:set prompt "λ "
:load Data.Logic.ATP