Homotopy Type Theory
functor (history)

October 11, 2018

• Current (diff)
  by Ali Caglayan on October 11, 2018 at 06:38:46 from 138.38.182.236.

September 7, 2018

• Revision 8 (diff)
  by Mike Shulman on September 7, 2018 at 14:03:31 from 208.71.27.112.
• Revision 7 (diff)
  by Urs Schreiber on September 7, 2018 at 08:37:58 from 91.230.41.203.
• Revision 6 (diff)
  by Urs Schreiber on September 7, 2018 at 06:45:38 from 91.230.41.203.

September 6, 2018

• Revision 5 (diff)
  by Ali Caglayan on September 6, 2018 at 17:57:56 from 82.132.185.81.

September 4, 2018

• Revision 4 (diff)
  by Ali Caglayan on September 4, 2018 at 18:54:58 from 81.187.255.239.
• Revision 3 (diff)
  by Ali Caglayan on September 4, 2018 at 17:22:35 from 81.187.255.239.
• Revision 2 (diff)
  by Ali Caglayan on September 4, 2018 at 15:28:42 from 81.187.255.239.
• Revision 1
  by Ali Caglayan on September 4, 2018 at 14:22:31 from 81.187.255.239.