Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ct-gradual-typing / Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ct-gradual-typing%2FGrady
Stars: 7
Forks: 0
Open Issues: 0
License: other
Language: Haskell
Repo Size: 4.22 MB
Dependencies: pending
Created: about 7 years ago
Updated: 7 months ago
Last pushed: about 7 years ago
Last synced: 7 months ago
Topics: bounded-quantification, categorical-semantics, dynamic-typing, functional-programming, gradual-typing, pl-implementation, retracts