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

progrider.org/files/books/

Name: Anonymous 2014-05-25 23:48

What else do you think should be added to this?

Name: Anonymous 2014-05-30 21:54

>>37

Homotopy type theory is a new branch of mathematics
Homotopy type theory to mathematics is what C++ is to C.
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 -