Ecosyste.ms: Repos

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

GitHub / andreasabel / miniagda

A prototypical dependently typed languages with sized types and variances

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

Stars: 101
Forks: 4
Open Issues: 1

License: mit
Language: Haskell
Repo Size: 1.3 MB
Dependencies: 22

Created: over 7 years ago
Updated: 2 months ago
Last pushed: over 1 year ago
Last synced: about 1 month ago

Files

Loading...

Readme

Loading...

Dependencies

MiniAgda.cabal hackage

MiniAgda * build
alex >=3.0 && <4 build
goldplate >=0.2 build
happy >=1.15 && <2 build
MiniAgda *
array >=0.3 && <0.6
base >=4.8 && <5
containers >=0.3 && <0.7
haskell-src-exts ==1.21.*
mtl >=2.2.1 && <2.4
optparse-applicative >=0.16.0.0 && <1
pretty >=1.0 && <1.2
semigroups >=0.5 && <1
string-qq *
transformers *
base >=4.11 test
process * test

.github/workflows/haskell-ci.yml actions

actions/cache v2 composite
actions/checkout v2 composite

.github/workflows/stack.yml actions

actions/checkout v2 composite
freckle/stack-action v3 composite
freckle/stack-cache-action v2 composite