https://github.com/rybla/liquid-flex-hs

https://github.com/rybla/liquid-flex-hs

Last synced: 4 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/rybla/liquid-flex-hs
• Owner: rybla
• License: other
• Created: 2023-02-27T06:02:47.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2023-05-23T15:57:41.000Z (over 1 year ago)
• Last Synced: 2024-11-07T11:13:19.916Z (about 2 months ago)
• Language: Haskell
• Size: 914 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

        
# liquid-flex-hs

- [Notes](./Flex.md) on Flex

- [Notes](./Features.md) on planned/implemented features for Liquid Flex

## Compilation

You may need to run the following if on a M1 Mac.

```sh

C_INCLUDE_PATH="`xcrun --show-sdk-path`/usr/include/ffi" stack build

```

## Installation

Install the executable `liquid-flex-hs` with `stack`:

```sh

stack install

```

## Usage

You can run with `stack`, or install the executable and run that.

```sh

stack run --  [--debug] [--verbose] [input]+

# or

liquid-flex-hs  [--debug] [--verbose]

```

The available commands are:

    - `help`: get some help

    - `parse`: parse an input module source file

    - `type`: type-check an input module source file (after parsing)

    - `refine`: refinement-check an input module source file (after parsing & type-checking)