TopHat is a formalisation of Task Oriented Programming. This is the Haskell implementation of the language.

The language is specified as a GADT in Data.Task. Semantics, including all observations, can be found in Data.Task.Run.

Main includes a couple of examples which can be executed.

• GHC >= 8.8
• Cabal >= 3.0

Clone the repository and build it by running Cabal. You'll need Cabal version 3 for new style builds!

git clone https://github.com/timjs/tophat-haskell.git
cd tophat-haskell
cabal build
cabal run

Tested with GHC-8.8 and Cabal 3.2, and with GHC-8.10 and Cabal 3.4.