https://github.com/47degrees/liquid-stain
Examples from the LiquidHaskell book, ported to Scala+Stainless
https://github.com/47degrees/liquid-stain
Last synced: 10 months ago
JSON representation
Examples from the LiquidHaskell book, ported to Scala+Stainless
- Host: GitHub
- URL: https://github.com/47degrees/liquid-stain
- Owner: 47degrees
- Created: 2020-03-25T15:17:22.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2020-04-10T14:01:59.000Z (almost 6 years ago)
- Last Synced: 2025-02-03T14:42:47.557Z (11 months ago)
- Language: Scala
- Size: 28.3 KB
- Stars: 3
- Watchers: 46
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Liquid Stain
Port of the examples from the [LiquidHaskell Book](http://ucsd-progsys.github.io/liquidhaskell-tutorial/) to [Stainless](https://epfl-lara.github.io/stainless/index.html).
### Verifying the examples
1. On a terminal execute `sbt`.
2. In the SBT command prompt, run `verified/run`.
### Adding more examples
The code to be verified must live under `verified/src/main/scala`.