Asynchronous Rattus is a programming language embedded into GHC. It is built on top of Rattus by utilizing the Async RaTT calculus.
Asynchronous Rattus has been tested with GHC version 9.2.5. To get started with Asynchronous Rattus two different examples are included; a simple spreadsheet and a text writer. They can be accessed through following commands:
cd examples/simple-sheet
cabal run
and
cd examples/textwriter
cabal run
To run the test-suite of Asynchronous Rattus, simply run the the command cabal test