“Why prove programs equivalent when your compiler can do that for you?”: http://www.joachim-breitner.de/blog/717-Why_prove_programs_equivalent_when_your_compiler_can_do_that_for_you_ …
Very similar prior art: “The Haskell Equational Reasoning Model-to-Implementation Tunnel (HERMIT)” at https://ku-fpg.github.io/software/hermit/ ….
11:05 AM - 7 Feb 2017
0 replies
0 retweets
1 like
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.