HomeIsabelle/Phabricator

updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;