Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jonsterling / tt-singletons
experiments with singleton types & identity types in type theory
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jonsterling%2Ftt-singletons
Stars: 3
Forks: 0
Open Issues: 3
License: mit
Language: Haskell
Repo Size: 473 KB
Dependencies:
9
Created: over 9 years ago
Updated: about 1 year ago
Last pushed: over 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
tt-singletons.cabal
hackage
- abt >=0.1.1.0
- base ==4.7.*
- containers *
- exceptions *
- lens *
- lens-action >=0.1.0.1
- mtl *
- transformers *
- vinyl >=0.5