Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / isovector / cornelis
agda-mode for neovim
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/isovector%2Fcornelis
Stars: 127
Forks: 20
Open Issues: 16
License: bsd-3-clause
Language: Haskell
Repo Size: 12.1 MB
Dependencies:
61
Created: over 2 years ago
Updated: 29 days ago
Last pushed: 21 days ago
Last synced: 7 days ago
Topics: agda, neovim, nvim-hs, vim-textobj-user, vim-which-key
Funding links: https://github.com/sponsors/isovector
Files
Loading...
Readme
Loading...
Dependencies
cornelis.cabal
hackage
- QuickCheck *
- aeson *
- async *
- base >=4.7 && <5
- bytestring *
- containers *
- cornelis *
- directory *
- filepath *
- fingertree *
- generic-lens *
- hspec *
- lens *
- levenshtein *
- mtl *
- nvim-hs *
- nvim-hs-contrib *
- 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
- mtl * test
- nvim-hs * test
- nvim-hs-contrib * test
- prettyprinter * test
- process * test
- random * test
- resourcet * test
- text * test
- transformers * test
- unagi-chan * test
- unliftio-core * test
- vector * test
- actions/cache v3 composite
.github/workflows/nix-agda.yml
actions
- actions/checkout v3 composite
- cachix/install-nix-action v18 composite
.github/workflows/nix.yml
actions
- actions/checkout v3 composite
- cachix/install-nix-action v18 composite
.github/workflows/stack.yml
actions
- ./.github/template/stack-cache * composite
- actions/checkout v3 composite
- cachix/install-nix-action v18 composite
- nick-fields/retry v2 composite
.github/workflows/ci.yml
actions