Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/slemus9/pi-calculus

Last synced: 2 days ago
JSON representation

Host: GitHub
URL: https://github.com/slemus9/pi-calculus
Owner: slemus9
License: other
Created: 2023-06-24T21:43:09.000Z (over 1 year ago)
Default Branch: main
Last Pushed: 2023-06-24T22:10:50.000Z (over 1 year ago)
Last Synced: 2024-03-22T18:48:49.098Z (8 months ago)
Language: Haskell
Size: 6.84 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE

Awesome Lists containing this project

README

        # Pi Calulus

Our small project to play with Haskell and learn about Pi Calculus

## Setup

- Install [Stack](https://docs.haskellstack.org/en/stable/). Recommendation: install with [GHCup](https://www.haskell.org/ghcup/)

- Setup the [Haskell Language Server](https://haskell-language-server.readthedocs.io/en/latest/what-is-hls.html) with your favorite IDE. If you're using VSCode, the [Haskell Extension](https://marketplace.visualstudio.com/items?itemName=haskell.haskell) is supported by HLS

- This project uses [fourmolu](https://github.com/fourmolu/fourmolu) for code formatting. Set fourmolu as the HLS [formatting provider](https://haskell-language-server.readthedocs.io/en/latest/configuration.html#language-specific-server-options) (the way you configure this setting depends on your editor)

- Check that everything works:

  - Run `stack build` to build the project

  - Run `stack test` to run the tests of the project

  - Run `stack exec pi-calculus-exe` to run the project's main function