Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitLab.com / tangent-categories / sdpl-first-order
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitLab.com/repositories/tangent-categories%2Fsdpl-first-order
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language:
Dependencies:
22
Created: almost 3 years ago
Updated: over 2 years ago
Last synced: over 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
sdpl-first-order.cabal
hackage
- array *
- base >=4.7 && <5
- bound *
- containers *
- deriving-compat *
- haskeline *
- logict *
- mtl *
- sdpl-first-order *
- text *
- unification-fd *
- array * test
- base >=4.7 && <5 test
- bound * test
- containers * test
- deriving-compat * test
- haskeline * test
- logict * test
- mtl * test
- sdpl-first-order * test
- text * test
- unification-fd * test