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

/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 15:06

1 = 1
prove me wrong, your move.
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 -