Yes I am, but I now have a little more understanding how hard it is. I'll probably concentrate on interactivity first.https://twitter.com/bramcohen/status/892222018342371328 …
Indeed. I'm planning on giving the language a little more of a dependent type theory flavor in service of portability.
-
-
Having to write shims to make proofs apply would be entirely acceptable
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.