Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / panagosg7 / liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/panagosg7%2Fliquid-fixpoint
Fork of ucsd-progsys/liquid-fixpoint
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 125 MB
Dependencies:
43
Created: over 8 years ago
Updated: over 8 years ago
Last pushed: over 8 years ago
Last synced: 10 months ago
Files
Loading...
Readme
Loading...
Dependencies
liquid-fixpoint.cabal
hackage
- ansi-terminal *
- array *
- ascii-progress >=0.3
- async *
- attoparsec *
- base >=4.7 && <5
- bifunctors *
- binary *
- boxes *
- bytestring *
- cereal *
- cmdargs *
- containers *
- deepseq *
- directory *
- dotgen *
- fgl *
- fgl-visualize *
- filemanip *
- filepath *
- ghc-prim *
- hashable *
- intern *
- liquid-fixpoint *
- located-base *
- mtl *
- parallel *
- parsec *
- pretty *
- process *
- syb *
- text *
- text-format *
- transformers *
- unordered-containers *
- base * test
- directory * test
- filepath * test
- process * test
- tasty >=0.10 test
- tasty-hunit * test
- tasty-rerun >=1.1 test
- text * test