I really really really want this PR to land in Rust. Guaranteeing Clippy works is one of the things I hope will be done this year, together with async/await.https://github.com/rust-lang/rust/pull/51122 …
-
-
Oh cool, found a post outlining how the different bits of rustc are going to be split up. Nice!https://internals.rust-lang.org/t/moving-bits-of-rustc-into-crates/7607 …
Show this thread -
Nice.
@mafintosh linked me to a Monty Python prolog introduction. Think it's starting to click for me. Woot! https://github.com/Risto-Stevcev/prolog-monty-python/blob/master/monty-python.pl …Show this thread
End of conversation
New conversation -
-
-
Related: model checkers, like TLA+ or Promela https://en.wikipedia.org/wiki/Promela they're intended to ensure properties of large systems, where Prolog is just a language. Both have exhaustive search (with pruning) underneath, but different purposes.
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.