Hacker News new | ask | show | jobs
by shpx 4575 days ago
http://lmgtfy.com/?q=HoTT

read the article. HOmotopy Type Theory