Homotopy Type Theory
higher inductive type (history)

February 13, 2022

• Current (diff)
  by Anonymous? on February 13, 2022 at 15:49:52.

October 10, 2018

• Revision 11 (diff)
  by Ali Caglayan on October 10, 2018 at 11:22:32.
• Revision 10 (diff)
  by Ali Caglayan on October 10, 2018 at 09:31:05.

September 6, 2018

• Revision 9 (diff)
  by Ali Caglayan on September 6, 2018 at 18:06:00.

September 5, 2018

• Revision 8 (diff)
  by Ali Caglayan on September 5, 2018 at 16:52:44.

September 4, 2018

• Revision 7 (diff)
  by Ali Caglayan on September 4, 2018 at 13:01:37.
• Revision 6 (diff)
  by Ali Caglayan on September 4, 2018 at 09:33:02.

June 25, 2018

• Revision 5 (diff)
  by Bas Spitters on June 25, 2018 at 11:47:32.

May 15, 2014

• Revision 4 (diff)
  by Mike Shulman on May 15, 2014 at 08:32:07.

March 17, 2014

• Revision 3 (diff)
  by Mike Shulman on March 17, 2014 at 09:57:25.

March 4, 2014

• Revision 2 (diff)
  by Alexis Hazell? on March 4, 2014 at 01:12:27.

February 18, 2014

• Revision 1
  by Mike Shulman on February 18, 2014 at 12:39:14.