Replace the old executor

This commit is contained in:
2021-09-03 22:47:49 +02:00
parent 7b4c7e2b8c
commit b96d75f447
11 changed files with 480 additions and 2007 deletions

View File

@ -1,3 +1,7 @@
{- This Source Code Form is subject to the terms of the Mozilla Public License,
v. 2.0. If a copy of the MPL was not distributed with this file, You can
obtain one at https://mozilla.org/MPL/2.0/. -}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE RecordWildCards #-}