This is a drop-in replacement for the Haskell base library, meant to be used with Liquid Haskell.
This package simply re-exports all the base modules, but it also provides LH refinements for some of them.
forked from liquidhaskell/liquid-base
-
Notifications
You must be signed in to change notification settings - Fork 0
Drop-in replacement for the base library, to use with Liquid Haskell
License
facundominguez/liquid-base
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Drop-in replacement for the base library, to use with Liquid Haskell
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Haskell 61.0%
- Python 32.4%
- Ruby 6.6%