What? I don't know what you're talking about. ::whistles innocently::
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.
I'm working to make it so that there's basically no real API for the vocabulary at all, you just use a little widget on the site to specify exactly the relevant functionality your app supports, and how the word realizes that, with nice visual linkages. LE will then pull that info into the logical formalism. No API needed, just some clicks.
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"
Comments
What? I don't know what you're talking about. ::whistles innocently::
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.
Do you have any examples of the new API direction yet?
I'm working to make it so that there's basically no real API for the vocabulary at all, you just use a little widget on the site to specify exactly the relevant functionality your app supports, and how the word realizes that, with nice visual linkages. LE will then pull that info into the logical formalism. No API needed, just some clicks.
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