@ -0,0 +1,8 @@
:set prompt "λ> "
:set -XOverloadedStrings
:set -XPartialTypeSignatures
:set -fdefer-type-errors
:set -fwarn-typed-holes
:set -isrc