Void

A fearless modern text editor in the spirit of Vim

Idris Implementation

Playing around with implementing a Vim-like editor in Idris. At this stage, it's merely a toy.

For the F# version of Void see this repo.