Any update in it's availability? It says late 2014 but nothing else.
Getting it to a state, even the minimal one, where it's ready for launch has taken slightly longer than expected. :(
Right now I'm reworking the API a little bit. I realized that the means of specifying new vocabulary for it was not at all friendly for coders who don't have lots of type theory background. I have a new way of doing this that I think will work, and it'll be up hopefully within a few weeks.
Ideally, it should be so simple that I can make a 2 minute video of it and by the end, you'll think "well that was obvious", as opposed to "ugh now I have to learn type theory? ffs"
I did a dopey little sketch on of the idea, fwiw https://twitter.com/psygnisfive/status/558287230662615040