Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / marklemay / dDynamic

a minimal dependently typed language with equality resolving at runtime

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/marklemay%2FdDynamic

Stars: 4
Forks: 1
Open Issues: 2

License: None
Language: Haskell
Repo Size: 302 KB
Dependencies: 26

Created: almost 3 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Files

Loading...

Readme

Loading...

Dependencies

dDynamic.cabal hackage

base *
containers *
dDynamic *
haskeline *
lens *
logict *
mtl *
pretty-simple *
raw-strings-qq *
unbound-generics *
QuickCheck * test
base * test
containers * test
dDynamic * test
lens * test
logict * test
mtl * test
pretty-simple * test
tasty >=1.3.1 test
tasty-hunit * test
tasty-quickcheck * test
transformers * test
unbound-generics * test

.github/workflows/haskell.yml actions

actions/cache v1 composite
actions/checkout v2 composite
haskell/actions/setup v2 composite