Code

WIP, Liveshare: Limits#28

Code

Open

wires wants to merge 13 commits intomasterstatebox/idris-ct:masterfrom limitsstatebox/idris-ct:limitsCopy head branch name to clipboard

+562-4

Commits

Commits on Jun 10, 2019

• split TerminalObject and Product into separate files

  marcosh

  committed
  0484b6f

• prove that terminal objects are isomorphic

  marcosh

  committed
  794372f

• live sharing session

  

  wires

  authored and

  marcosh

  committed
  34049f8

• useless fixes

  marcosh

  committed
  daf4928

Commits on Jun 13, 2019

• liveshare

  

  liveshare

  committed
  f3454e7

Commits on Jun 17, 2019

• clean code of shared coding session

  marcosh

  committed
  ae5b646

Commits on Jun 20, 2019

• liveshare

  wires

  committed
  569595b

Commits on Jun 27, 2019

• fix style

  marcosh

  committed
  55459cb

Commits on Jul 11, 2019

• live session 11.07.2019

  clayrat

  committed
  c124b7d

Commits on Jul 20, 2019

• dualize for left unitor

  clayrat

  committed
  ff8efe9

Commits on Jul 24, 2019

• prove compLaw

  clayrat

  committed
  aa93f17

• prettify compLaw

  clayrat

  committed
  2c83299

Commits on Jul 25, 2019

• live session 25.07.2019

  clayrat

  committed
  f60b6e2