5 repos
ndmitchell/ghcid
Very low feature GHCi based IDE
1,197
1,281 commits
ucsd-progsys/lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
25
78 commits
MercuryTechnologies/ghciwatch
Load a GHCi session for a Haskell project and reload it when source files change
169
283 commits
isovector/cornelis
agda-mode for neovim
190
407 commits
jyp/dante
No description
399
456 commits
