Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mzuber / deriving-type-checkers
A Haskell library for deriving type checkers from constraint-based formalizations of type systems.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mzuber%2Fderiving-type-checkers
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 876 KB
Dependencies:
10
Created: almost 2 years ago
Updated: 12 months ago
Last pushed: about 1 year ago
Last synced: 12 months ago
Files
Loading...
Readme
Loading...
Dependencies
TypeCheckLib.cabal
hackage
- MissingH >=1.1.1.0
- base *
- containers *
- glade >=0.12.1
- gtk >=0.12.3.1
- mtl *
- pango >=0.12.3
- pretty >=1.0.1.1
- regex-compat *
- template-haskell >=2.7.0.0