HomeIsabelle/Phabricator

updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;