derekelkins/agda-vim — pull request #5 by derekelkins (2014-11-01 18:52:10+00:00)
Title: Added catch for IndexError in getHoleBodyAtCursor

More virtual space fixes