The latest version of cornelis is 0.2.0.1-0.
lib:cornelis
Modules
- Cornelis.Agda
- Cornelis.Config
- Cornelis.Debug
- Cornelis.Diff
- Cornelis.Goals
- Cornelis.Highlighting
- Cornelis.InfoWin
- Cornelis.Offsets
- Cornelis.Pretty
- Cornelis.Subscripts
- Cornelis.Types
- Cornelis.Types.Agda
- Cornelis.Utils
- Cornelis.Vim
- Lib
- Plugin
Dependencies
- QuickCheck lib:QuickCheck >=2.14.2
- aeson lib:aeson >=1.5.6.0
- async lib:async >=0
- base lib:base >=4.7 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- diff-loc lib:diff-loc >=0.1.0.0
- directory lib:directory >=0
- filepath lib:filepath >=0
- fingertree lib:fingertree >=0.1.4.2
- generic-lens lib:generic-lens >=2.1.0.0
- hspec lib:hspec >=2.7.10
- lens lib:lens >=4.19.2
- levenshtein lib:levenshtein >=0.1.3.0
- megaparsec lib:megaparsec >=9.0.1 && <10
- mtl lib:mtl >=0
- nvim-hs lib:nvim-hs >=2.2.0.3 && <3
- nvim-hs-contrib lib:nvim-hs-contrib >=2.0 && <3
- prettyprinter lib:prettyprinter >=1.7.1 && <2
- process lib:process >=0
- random lib:random >=0
- resourcet lib:resourcet >=1.2.4.3
- text lib:text >=0
- transformers lib:transformers >=0
- unagi-chan lib:unagi-chan >=0.4.1.3
- unliftio-core lib:unliftio-core >=0.2.0.1
- vector lib:vector >=0
Reverse dependencies
Direct only. Not exhaustive.