Proving that two funcs are equivalent is undecidable in general. Still, this SO answer describes some amazing tools!
miniblog.
Related Posts
The Rust reference describes `?Sized` as "questionably sized". I feel vaguely judged :)
The number of tools a programming language is expected to provide is growing over time. This in-depth article describes what Rust provides: you can't just ship a compiler these days.
Source:
TXR Lisp describes its stdlib as "a significant standard library of userful functional combinators". I can't decide if "userful" is a typo or a pun.
