mote

Tech stack & purpose

Mote is a Vim plugin that brings interactive hole-driven development from Agda to Haskell programming. It allows developers to write Haskell code with placeholder expressions (holes) and provides commands to navigate between holes, inspect their types and in-scope bindings, perform case analysis, and refine holes with partial implementations. The project is built in Haskell using Cabal for package management and requires the cabalparse dependency, with installation options ranging from a simple bash script to manual setup via git and Cabal sandbox.

Languages

Contributors

• 
  Izaak Meckler121 commits · 158 followers
• 
  Tikhon Jelvis10 commits · 527 followers
• Izzy Meckler9 commits