Commits

Branch selector

 master

User selector

dolio

Datepicker

All time

Commit History

Commits on May 30, 2019

• Elimination of propositional truncation to higher types (#136)

  Show description for b11578b
  

  dolio

  authored and

  mortberg

  committed
  b11578b

  Copy full SHA for b11578b

Commits on Apr 15, 2019

• Finite sets two ways. (#104)

  Show description for 0249030
  

  dolio

  authored and

  mortberg

  committed
  0249030

  Copy full SHA for 0249030

Commits on Mar 19, 2019

• Use variables to clean up HLevels module a bit.

  Show description for 09f9878
  

  dolio

  authored and

  Saizan

  committed
  09f9878

  Copy full SHA for 09f9878

Commits on Mar 10, 2019

• More Natural ordering properties

  Show description for 205aff4
  dolio

  committed
  205aff4

  Copy full SHA for 205aff4

Commits on Feb 18, 2019

• Add a proof that natural ordering is a proposition.

  Show description for 5f6990c
  dolio

  committed
  5f6990c

  Copy full SHA for 5f6990c

• Hide Nat +-comm in Int properties.

  dolio

  committed
  c4a0d1b

  Copy full SHA for c4a0d1b

• Some Nat properties and an ordering relation.

  dolio

  committed
  f76ad09

  Copy full SHA for f76ad09

Commits on Jan 22, 2019

• Further develop the Cylinder type.

  Show description for 2f01430
  dolio

  committed
  2f01430

  Copy full SHA for 2f01430

Commits on Jan 21, 2019

• Implement a cylinder type as a HIT.

  dolio

  committed
  0c4b921

  Copy full SHA for 0c4b921

Commits on Jan 13, 2019

• Move function extensionality equivalence to a new module.

  Show description for e16010e
  dolio

  committed
  e16010e

  Copy full SHA for e16010e

Commits on Jan 7, 2019

• Show that Pi preserves all h-levels

  Show description for 4f1b3a0
  dolio

  committed
  4f1b3a0

  Copy full SHA for 4f1b3a0