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

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

Last synced: 3 months 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 (over 5 years ago)
• Default Branch: main
• Last Pushed: 2024-05-06T10:01:03.000Z (6 months ago)
• Last Synced: 2024-05-06T11:25:46.075Z (6 months ago)
• Language: Haskell
• Size: 65.7 MB
• Stars: 9
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

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

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

## Examples

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