Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Simon Peyton Jones - Haskell is useless

Name: Anonymous 2014-08-07 18:14

http://www.youtube.com/watch?v=iSmkqocn0oQ

Name: Anonymous 2014-08-15 14:19

There are some problems. 1: x86 sel4 was never proven to be correct and 2: you need to prove that your proof is correct, same for the proof of the proof
You can never be sure that it will be correct
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -