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

Pages: 1-

Read your TAPL every day

Name: Anonymous 2014-12-26 15:58

So this "OOP" crap is just existential types.

Name: Anonymous 2014-12-26 23:16

le condescending type theory newbie

le homotopy dependent types are the future

Name: Anonymous 2014-12-27 0:25

>>2
Who are you quoting?

Name: Anonymous 2014-12-27 0:27

homo
lel

Name: Anonymous 2014-12-27 15:37

One bump is stronger than a thousand sages.
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 -