Void & Avi

[eraserhd]

Howdy!

I'm working on Avi, a vim clone written in Clojure. Except that it wants to be a Specification of Vim, First.

For the specification-ness of it, see here.

In the article above, I talk about how it doesn't want to be the end-all implementation, but it wants to be a specification which can be used to re-implement vim. I've also been playing with Idris lately. As a result, I'd love to check void.idr against the Avi spec - especially if this is a benefit to you.

I don't yet have an idea how to do this. I am hoping to make the spec less dependent on the Clojure machinery are more generically machine-readable, but I'm still exploring specifics.

What do you think?

[Kazark]

Seems like a clever idea. At the moment my Idris Vim implementation is no more than a tool for learning Idris. It has no actual UI of any sort. I don't know whether I will keep developing it or not.

I was a little more serious about my F# implementation, but I haven't been working on that since I've been playing with this. It has some functionality, and does have a GUI, but was also an experiment, in the main.

[eraserhd]

I think I'll poke at it a little in a week or two and see what happens.

[Kazark]

K. I don't have any grand intentions for this code, but I am always open to more Vim development community. :)