Port of the examples from the LiquidHaskell Book to Stainless.
- On a terminal execute
sbt. - In the SBT command prompt, run
verified/run.
The code to be verified must live under verified/src/main/scala.
-
Notifications
You must be signed in to change notification settings - Fork 0
47degrees/liquid-stain
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Examples from the LiquidHaskell book, ported to Scala+Stainless
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published