Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
app
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

TopHat in Haskell

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

Language and semantics

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

Examples

Main includes a couple of examples which can be executed.

Dependencies

  • GHC >= 8.8
  • Cabal >= 3.0

Building

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.

About

TopHat implementation in Haskell

Resources

License

Packages

No packages published