Total parser combinator in F*. https://pastebin.com/TCjcY5ES #langsec
Total implies termination is proven, for those not familiar.
-
-
ja, it's really interesting from what I've seen with playing around with it, but I _really_ like how digestible this is.
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.