Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 17, 2022

• adjust formatting for lulu book cover

  

  sergei.winitzki

  committed
  394176c

  Copy full SHA for 394176c

• Continue working on Chapter 13 (winitzki#63)

  Show description for 14061c2
  

  winitzki

  and

  sergei.winitzki

  authored
  14061c2

  Copy full SHA for 14061c2

• continue work on chapter 13 (winitzki#62)

  Show description for 84b75e1
  

  winitzki

  and

  sergei.winitzki

  authored
  84b75e1

  Copy full SHA for 84b75e1

Commits on Jun 22, 2022

• resume work on chapter 13 (winitzki#58)

  Show description for a5d259b
  

  winitzki

  and

  sergei.winitzki

  authored
  a5d259b

  Copy full SHA for a5d259b

Commits on Mar 5, 2022

• Merge branch 'master' of github.com:winitzki/sofp

  

  sergei.winitzki

  committed
  7d1b4db

  Copy full SHA for 7d1b4db

• Rewriting Appendix D (winitzki#51)

  Show description for 2c95b84
  

  winitzki

  and

  sergei.winitzki

  authored
  2c95b84

  Copy full SHA for 2c95b84

Commits on Dec 30, 2021

• Merge branch 'master' of github.com:winitzki/sofp

  

  sergei.winitzki

  committed
  f45e50c

  Copy full SHA for f45e50c

• Work on chapter 13 - free typeclasses (winitzki#50)

  Show description for a6f3ace
  

  winitzki

  and

  sergei.winitzki

  authored
  a6f3ace

  Copy full SHA for a6f3ace

Commits on Dec 29, 2021

• minor update

  

  sergei.winitzki

  committed
  7dcb16c

  Copy full SHA for 7dcb16c

• minor change

  

  sergei.winitzki

  committed
  81a83c8

  Copy full SHA for 81a83c8

• minor update

  

  sergei.winitzki

  committed
  5596c67

  Copy full SHA for 5596c67

• update tex

  

  sergei.winitzki

  committed
  a991919

  Copy full SHA for a991919

• last changes

  

  sergei.winitzki

  committed
  7c01365

  Copy full SHA for 7c01365

• update sample 100 pages

  

  sergei.winitzki

  committed
  9720c48

  Copy full SHA for 9720c48

• last changes in chapter 12

  

  sergei.winitzki

  committed
  315d7ad

  Copy full SHA for 315d7ad

• finish one proof in chapter 12

  

  sergei.winitzki

  committed
  803a909

  Copy full SHA for 803a909

Commits on Dec 28, 2021

• minor update

  

  sergei.winitzki

  committed
  a2c145a

  Copy full SHA for a2c145a

• update tex sources

  

  sergei.winitzki

  committed
  66801bf

  Copy full SHA for 66801bf

• better formatting in appendix d

  

  sergei.winitzki

  committed
  30fd7a7

  Copy full SHA for 30fd7a7

• wip filling out the hole in the proof of foldFn

  

  sergei.winitzki

  committed
  14a5d5d

  Copy full SHA for 14a5d5d

• fix up appendix D once again

  

  sergei.winitzki

  committed
  ecdc52c

  Copy full SHA for ecdc52c

• wip rearranging the proofs for foldFn strong dinaturality

  

  sergei.winitzki

  committed
  bd88782

  Copy full SHA for bd88782

Commits on Dec 26, 2021

• minor corrections

  

  sergei.winitzki

  committed
  1752550

  Copy full SHA for 1752550

• update pdf

  

  sergei.winitzki

  committed
  9da2b3c

  Copy full SHA for 9da2b3c

Commits on Dec 25, 2021

• corrections from Andreas

  

  sergei.winitzki

  committed
  9752d45

  Copy full SHA for 9752d45

• update index

  

  sergei.winitzki

  committed
  d18b5ef

  Copy full SHA for d18b5ef

Commits on Dec 24, 2021

• minor changes

  

  sergei.winitzki

  committed
  36d3ff6

  Copy full SHA for 36d3ff6

• more detail about LJT

  

  sergei.winitzki

  committed
  e9dd6d1

  Copy full SHA for e9dd6d1

• fix typos and page intervals

  

  sergei.winitzki

  committed
  5825788

  Copy full SHA for 5825788

• finish appendix C

  

  sergei.winitzki

  committed
  d20e908

  Copy full SHA for d20e908

• finish subsection on LJ algorithm

  

  sergei.winitzki

  committed
  f3ca9ba

  Copy full SHA for f3ca9ba

Commits on Dec 23, 2021

• minor update

  

  sergei.winitzki

  committed
  28acbb0

  Copy full SHA for 28acbb0

Commits on Dec 21, 2021

• minor correction

  

  sergei.winitzki

  committed
  70df069

  Copy full SHA for 70df069

• finish corrections in chapter 5

  

  sergei.winitzki

  committed
  560f108

  Copy full SHA for 560f108

Commits on Dec 20, 2021

• last fixes

  

  sergei.winitzki

  committed
  9d09962

  Copy full SHA for 9d09962

Pagination

Previous

Next