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

Pages: 1-

type theory

Name: Anonymous 2013-10-31 20:33

discuss

Name: Anonymous 2013-10-31 21:53

ind_{A \times B} : \prod_{C:A\times B\to u} \left ( \prod_{(x:A)} \prod_{(y:B)} C((x,y))\right ) \to \prod_{x:A\times B} C(x)

Name: Anonymous 2013-10-31 23:24

H I T L E L
I I
T   T
L     L
E       E
L         L

Name: Anonymous 2013-11-01 0:08

install gentoo

Name: Anonymous 2013-11-01 1:25

H I T L E L
I I
T   T
L     L
E       E
L         L

Name: Anonymous 2013-11-01 17:32

I use SIGNED integers http://en.wikipedia.org/wiki/Year_2038_problem
HHUUUUUUUUUUUUUUUUUUUUUUUHHHHHHHRRRRRRRRRRRRRRDDDDDDDDUUUUUUUUUUUUUUUUUUHHHHHHHHHHHHRRRRRRRRRRRRRRR

Name: Anonymous 2013-11-01 17:45

>>6
and if they make it unsigned it will only go til 2106

Name: Anonymous 2013-11-01 18:22

H I T L E L
I I       I
T   T     T
L     L   L
E       E E
L I T L E L

Name: Anonymous 2013-11-01 20:06

install gentoo

Name: Anonymous 2013-11-02 1:46

>>8
>le pedophile sage

Name: Anonymous 2013-11-02 7:15

install gentoo

Don't change these.
Name: Email:
Entire Thread Thread List