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

Pages: 1-

/prog/ challenge

Name: Anonymous 2012-11-24 11:08

Find a computational interpretation for the univalence axiom in homotopy type theory before 2012/12/01 00:00:00 /prog/ time.
You should be able to do this.

Name: Anonymous 2012-11-24 11:09

Homosexual type theory

Name: Anonymous 2012-11-24 11:12

Mathematics considered Jewish.

Judaism considered HARMFUL.

Name: Anonymous 2012-11-24 11:34

JEWS

Name: Anonymous 2012-11-24 15:06

1 = 1
prove me wrong, your move.

Name: Anonymous 2012-11-24 15:30

>>5
left != right
left side != right side
1 != 1
QED

Name: Anonymous 2012-11-24 16:07

>>5
1=1
1²=1²
1²=(-1)²
√(1²)=√((-1)²)
1=-1
3=1
QED

Name: Anonymous 2012-11-24 16:32

>>5
define '1' ' ' '='

/prog/ challenge

1 Name: Anonymous 2012-11-24 11:08

2 Name: Anonymous 2012-11-24 11:09

3 Name: Anonymous 2012-11-24 11:12

4 Name: Anonymous 2012-11-24 11:34

5 Name: Anonymous 2012-11-24 15:06

6 Name: Anonymous 2012-11-24 15:30

7 Name: Anonymous 2012-11-24 16:07

8 Name: Anonymous 2012-11-24 16:32