Working on a type level DSL for describing communication. I reckon I’ve nearly cracked the important one now.https://gist.github.com/edwinb/c40cf4c948a3061aeb7f501c5198d8ce …
Next challenge is to see if I can express what's encrypted under what keys...
-
-
if only there was some existing work that gave suitable primitives...
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.