Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 13, 2018

• the docing of a lifetime + subcategories

  aljce

  committed
  af4fa78

  Copy full SHA for af4fa78

Commits on Jul 12, 2018

• begin doctesting

  aljce

  committed
  7167749

  Copy full SHA for 7167749

Commits on Jul 10, 2018

• add adjunctions and basic tensors

  aljce

  committed
  38f38a7

  Copy full SHA for 38f38a7

Commits on Jul 3, 2018

• bite me spj

  aljce

  committed
  0db20cb

  Copy full SHA for 0db20cb

Commits on Jun 28, 2018

• doc it up

  aljce

  committed
  cb2a8f9

  Copy full SHA for cb2a8f9

• add fully faithful functors

  aljce

  committed
  3ee26ce

  Copy full SHA for 3ee26ce

Commits on Jun 27, 2018

• move groupoid to its own module

  aljce

  committed
  41c50dd

  Copy full SHA for 41c50dd

Commits on Jun 26, 2018

• improve module structure

  aljce

  committed
  c554b3d

  Copy full SHA for c554b3d

• Product Category

  aljce

  committed
  2ccbffe

  Copy full SHA for 2ccbffe

• move to constraints

  aljce

  committed
  f9dec4c

  Copy full SHA for f9dec4c

• projecting astrally

  aljce

  committed
  b63fd6c

  Copy full SHA for b63fd6c

Loading