Bookmarks of the following user: Mgr. Adam Krupička, učo 410366
Tags of the following user:
Bookmarks of the following user: Mgr. Adam Krupička, učo 410366
Complete interactive development program for Haskell 1 user, first 11/8/2016, Adam Krupička, bookmarks, people
SCOOPING THE LOOP SNOOPER
A proof that the Halting Problem is undecidable
1 user, first 1/7/2016, Adam Krupička, bookmarks, peopleMorte: an intermediate language for super-optimizing functional programs 1 user, first 13/6/2016, Adam Krupička, bookmarks, people
Scott Aaronson Answers Every Ridiculously Big Question I Throw at Him 1 user, first 24/4/2016, Adam Krupička, bookmarks, people
Functional Programming, Abstraction, and Naming Things 1 user, first 11/1/2016, Adam Krupička, bookmarks, people
Special thanks to del.icio.us for inspiring us.