Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / konn / lambda-pi
My hobby implementation of dependent-type system
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/konn%2Flambda-pi
Stars: 6
Forks: 0
Open Issues: 1
License: bsd-3-clause
Language: Haskell
Repo Size: 458 KB
Dependencies:
80
Created: almost 2 years ago
Updated: almost 1 year ago
Last pushed: 11 months ago
Last synced: about 1 month ago
Funding links: https://github.com/sponsors/konn
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/test.yml
actions
- actions/cache/restore v3 composite
- actions/cache/save v3 composite
- actions/checkout v3 composite
- actions/download-artifact v3 composite
- actions/upload-artifact v3 composite
- haskell/actions/setup v2 composite
lambda-pi.cabal
hackage
- tasty-discover * build
- attoparsec *
- base >=4.7 && <5
- bifunctors *
- bound *
- bytestring *
- containers *
- dependent-map *
- dependent-sum *
- deriving-compat *
- diagnose *
- dlist *
- equational-reasoning *
- fmlist *
- generic-lens *
- ghc-typelits-presburger *
- hashable *
- haskeline *
- lambda-pi *
- lens *
- megaparsec *
- monad-loops *
- mtl *
- parser-combinators *
- parsers *
- rio *
- rio-orphans *
- semigroupoids *
- semigroups *
- some *
- split *
- text *
- transformers *
- type-natural *
- unordered-containers *
- vector *
- attoparsec * test
- base >=4.7 && <5 test
- bifunctors * test
- bound * test
- bytestring * test
- containers * test
- dependent-map * test
- dependent-sum * test
- deriving-compat * test
- diagnose * test
- dlist * test
- equational-reasoning * test
- fmlist * test
- generic-lens * test
- ghc-typelits-presburger * test
- hashable * test
- haskeline * test
- lambda-pi * test
- lens * test
- megaparsec * test
- monad-loops * test
- mtl * test
- parser-combinators * test
- parsers * test
- rio * test
- rio-orphans * test
- semigroupoids * test
- semigroups * test
- some * test
- split * test
- tasty * test
- tasty-hunit * test
- tasty-quickcheck * test
- text * test
- transformers * test
- type-natural * test
- unordered-containers * test
- vector * test