https://github.com/timjs/tophat-haskell

TopHat implementation in Haskell
https://github.com/timjs/tophat-haskell

Last synced: about 1 month ago
JSON representation

TopHat implementation in Haskell

• Host: GitHub
• URL: https://github.com/timjs/tophat-haskell
• Owner: timjs
• License: other
• Created: 2019-05-07T12:11:50.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2024-05-06T10:01:03.000Z (2 months ago)
• Last Synced: 2024-05-06T11:25:46.075Z (about 2 months ago)
• Language: Haskell
• Size: 65.7 MB
• Stars: 9
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-concur - TopHat - Task Oriented Programming

README

        
# 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](https://github.com/timjs/tophat-haskell/blob/master/src/Data/Task.hs).

Semantics, including all observations, can be found in [Data.Task.Run](https://github.com/timjs/tophat-haskell/blob/master/src/Data/Task/Run.hs).

## Examples

[Main](https://github.com/timjs/tophat-haskell/blob/master/src/Main.hs) 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!

```sh

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.