Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / JonathanLorimer / cornelis
a decent agda mode for neovim
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JonathanLorimer%2Fcornelis
Fork of isovector/cornelis
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 12 MB
Dependencies:
60
Created: over 2 years ago
Updated: over 2 years ago
Last pushed: 5 months ago
Last synced: 5 months ago
Files
Loading...
Readme
Loading...
Dependencies
- actions/cache v3 composite
.github/workflows/nix.yml
actions
- actions/checkout v2 composite
- cachix/install-nix-action v18 composite
.github/workflows/stack.yml
actions
- ./.github/template/stack-cache * composite
- actions/checkout v2 composite
cornelis.cabal
hackage
- QuickCheck *
- aeson *
- async *
- base >=4.7 && <5
- bytestring *
- containers *
- cornelis *
- directory *
- filepath *
- fingertree *
- generic-lens *
- hspec *
- lens *
- levenshtein *
- megaparsec *
- mtl *
- nvim-hs >=2.2.0.3 && <3
- nvim-hs-contrib >=2.0 && <3
- prettyprinter *
- process *
- random *
- resourcet *
- text *
- transformers *
- unagi-chan *
- unliftio-core *
- vector *
- QuickCheck * test
- aeson * test
- async * test
- base >=4.7 && <5 test
- bytestring * test
- containers * test
- cornelis * test
- directory * test
- filepath * test
- fingertree * test
- generic-lens * test
- hspec * test
- lens * test
- levenshtein * test
- megaparsec * test
- mtl * test
- nvim-hs >=2.2.0.3 && <3 test
- nvim-hs-contrib >=2.0 && <3 test
- prettyprinter * test
- process * test
- random * test
- resourcet * test
- temporary * test
- text * test
- transformers * test
- unagi-chan * test
- unliftio-core * test
- vector * test