Jason (jcreed) wrote,
Jason
jcreed

I suddenly remembered today the little bit of ML code that I wrote to allow access to Twelf from Flash. I started cleaning it up so that I could commit it to CVS without being too embarrassed, and in the process of generalizing the interface I realized it wasn't too hard to add sort-of-correct HTTP support as well, so that it would be feasible to write stuff directly in web pages in Javascript with XMLHttpRequest that does more or less the same stuff my Flash code did. It almost kinda sorta works:

Just a little more cleanup and I will probably CVSify it. In case you are wondering why the hell I am doing this, I am basically like one-a them cartoon characters with dollar signs in his eyes, except replace "dollar sign" with "kooky web-app-like Twelf proof assistant"
Tags: flash, javascript, programming, sml, twelf, wankery
Subscribe

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    Finally the end is in sight for unpacking my books. Heartstrings are pulled over the desire to slim down and get rid of some of them, but so many are…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 2 comments