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.