https://github.com/deemp/query-driven-free-foil
A repository for the MS thesis Query-Driven Language Server Architecture using Second-Order Abstract Syntax
https://github.com/deemp/query-driven-free-foil
Last synced: over 1 year ago
JSON representation
A repository for the MS thesis Query-Driven Language Server Architecture using Second-Order Abstract Syntax
- Host: GitHub
- URL: https://github.com/deemp/query-driven-free-foil
- Owner: deemp
- Created: 2024-11-11T16:24:27.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-02-23T13:54:04.000Z (over 1 year ago)
- Last Synced: 2025-02-23T14:31:26.404Z (over 1 year ago)
- Language: Haskell
- Homepage:
- Size: 2.14 MB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
Awesome Lists containing this project
README
# Query-Driven Language Server Architecture using Second-Order Abstract Syntax
## Run `free-foil-stlc`
```console
nix develop github:deemp/query-driven-free-foil#demo
free-foil-stlc
```
## Develop the project
Clone the repository.
```console
git clone https://github.com/deemp/query-driven-free-foil
cd query-driven-free-foil
```
### Set up direnv (optional)
Direnv caches flake devshell evaluation results.
Install `direnv` ([link](https://direnv.net/#basic-installation)).
Run in the repo:
```console
direnv allow
```
### Set up VS Code (optional)
Install recommended extensions (listed [here](.vscode/extensions.json)).
### Build and run with Nix
Build `free-foil-stlc`.
```console
nix build .#free-foil-stlc
```
Run `free-foil-stlc`.
```console
nix run .#free-foil-stlc
```
### Build and run with Cabal
Start a Nix devShell.
```console
nix develop
```
Update the Hackage index.
```console
nix run .#cabalUpdate
```
Build `free-foil-stlc`.
```console
cabal build free-foil-stlc
```
Run `free-foil-stlc`.
```console
cabal run free-foil-stlc
```
### Build with Stack
Start a Nix devShell.
```console
nix develop
```
Build `free-foil-stlc`.
```console
stack build free-foil-stlc
```
Run `free-foil-stlc`.
```console
stack run free-foil-stlc
```