Commits

Branch selector

 v0.11.2

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 21, 2021

• minor correction

  

  sergei.winitzki

  committed
  6efa5c4

  Copy full SHA for 6efa5c4

Commits on Mar 20, 2021

• try fixing the book cover

  

  sergei.winitzki

  committed
  b421f6e

  Copy full SHA for b421f6e

• trying to fix the build again

  

  sergei.winitzki

  committed
  8708c8e

  Copy full SHA for 8708c8e

• debug build script

  

  sergei.winitzki

  committed
  4f52bb1

  Copy full SHA for 4f52bb1

• add author photo to sources

  

  sergei.winitzki

  committed
  987069e

  Copy full SHA for 987069e

• fix build

  

  sergei.winitzki

  committed
  fc0e783

  Copy full SHA for fc0e783

• fix build

  

  sergei.winitzki

  committed
  ec263fb

  Copy full SHA for ec263fb

• fix build

  

  sergei.winitzki

  committed
  1f9af14

  Copy full SHA for 1f9af14

Commits on Mar 19, 2021

• minor corrections

  

  sergei.winitzki

  committed
  0e2d895

  Copy full SHA for 0e2d895

• adding proofs for strong dinaturality and relational parametricity (#26)

  Show description for 3373fb9
  

  winitzki

  and

  sergei.winitzki

  authored
  3373fb9

  Copy full SHA for 3373fb9

Commits on Dec 24, 2020

• update cover link

  

  sergei.winitzki

  committed
  2b9399a

  Copy full SHA for 2b9399a

Commits on Dec 23, 2020

• minor change in chapter 6

  

  sergei.winitzki

  committed
  3219f16

  Copy full SHA for 3219f16

• minor corrections

  

  sergei.winitzki

  committed
  7cacbe4

  Copy full SHA for 7cacbe4

Commits on Dec 21, 2020

• preparing to create a better cover

  

  sergei.winitzki

  committed
  b7d9b84

  Copy full SHA for b7d9b84

• minor updates

  

  sergei.winitzki

  committed
  ac3dded

  Copy full SHA for ac3dded

• update script

  

  sergei.winitzki

  committed
  e9be596

  Copy full SHA for e9be596

• finish correcting chapter 14

  

  sergei.winitzki

  committed
  80923d1

  Copy full SHA for 80923d1

• finish editing the monatron section

  

  sergei.winitzki

  committed
  dd2616a

  Copy full SHA for dd2616a

Commits on Dec 20, 2020

• finish section on callcc operation

  

  sergei.winitzki

  committed
  8990987

  Copy full SHA for 8990987

Commits on Dec 15, 2020

• wip monatron section

  

  sergei.winitzki

  committed
  698771a

  Copy full SHA for 698771a

• update tex files

  

  sergei.winitzki

  committed
  53afe53

  Copy full SHA for 53afe53

• minor corrections

  

  sergei.winitzki

  committed
  981a7c0

  Copy full SHA for 981a7c0

Commits on Dec 14, 2020

• relaxed the condition for monadic naturality law of flift

  

  sergei.winitzki

  committed
  3613741

  Copy full SHA for 3613741

Commits on Dec 13, 2020

• update tex files

  

  sergei.winitzki

  committed
  fbe5358

  Copy full SHA for fbe5358

• wip section on monatron

  

  sergei.winitzki

  committed
  a3fac0a

  Copy full SHA for a3fac0a

Commits on Dec 10, 2020

• minor corrections

  

  sergei.winitzki

  committed
  0a0b312

  Copy full SHA for 0a0b312

• reformat build information

  

  sergei.winitzki

  committed
  aff2c75

  Copy full SHA for aff2c75

• omit cpu architecture from os info

  

  sergei.winitzki

  committed
  874ac79

  Copy full SHA for 874ac79

• update readme

  

  sergei.winitzki

  committed
  9b90749

  Copy full SHA for 9b90749

Commits on Dec 9, 2020

• fix formatting of build os info

  

  sergei.winitzki

  committed
  bec2585

  Copy full SHA for bec2585

• fix formatting of build OS info

  

  sergei.winitzki

  committed
  2535d61

  Copy full SHA for 2535d61

• update readme

  

  sergei.winitzki

  committed
  ad48d61

  Copy full SHA for ad48d61

• wip finish proof of Jaskelioff's lifting theorem, make an assumption explicit

  

  sergei.winitzki

  committed
  2c64ec3

  Copy full SHA for 2c64ec3

• wip monatron section, add build date and build OS info to front matter

  

  sergei.winitzki

  committed
  86e8004

  Copy full SHA for 86e8004

Commits on Dec 6, 2020

• wip towards proof of codensity-based operation lifting

  

  sergei.winitzki

  committed
  aaafafa

  Copy full SHA for aaafafa

Pagination

Previous

Next