All Git Users → danr

2 open source projects by danr

[ Open user page on Github ]

A hip inductive theorem prover!

✭ 79

2. kakoune-ghci-bridge

Get intellisense for Haskell in Kakoune via ghci

✭ 13

python plugin ide kakoune ghci intellisense

1-2 of 2 user projects