Implementation of a static contract verifier for Haskell, based on Dana Xu's approach.
stack exec sccHaskell-exe -- <module name>
-
Notifications
You must be signed in to change notification settings - Fork 0
Implementation of a static contract checker for Haskell
License
randrade23/sccHaskell
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Implementation of a static contract checker for Haskell
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published