Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 20, 2024

• fix epub builds

  isovector

  committed
  5149d4d

  Copy full SHA for 5149d4d

Commits on Jan 16, 2024

• v1.0.9

  isovector

  committed
  221ea06

  Copy full SHA for 221ea06

Commits on Jan 12, 2024

• Merge pull request #15 from SlimTim10/fix-typos/chapter5

  Show description for 2b0ff5d
  isovector

  authored
  2b0ff5d

  Copy full SHA for 2b0ff5d

• Merge branch 'master' into fix-typos/chapter5

  SlimTim10

  committed
  7af07e8

  Copy full SHA for 7af07e8

Commits on Jan 10, 2024

• Fix typo

  SlimTim10

  committed
  0019598

  Copy full SHA for 0019598

Commits on Jan 9, 2024

• Better sample

  isovector

  committed
  2172416

  Copy full SHA for 2172416

• v1.0.8

  isovector

  committed
  3fc4b46

  Copy full SHA for 3fc4b46

• Comments are not red

  isovector

  committed
  47eaaed

  Copy full SHA for 47eaaed

• Adjust margins

  isovector

  committed
  bf1f4b0

  Copy full SHA for bf1f4b0

• Proofreading chapter 8

  isovector

  committed
  3514615

  Copy full SHA for 3514615

• Proofreading chapter 7

  isovector

  committed
  4ddf91d

  Copy full SHA for 4ddf91d

Commits on Jan 8, 2024

• Fix pluralization

  SlimTim10

  committed
  4b37f3b

  Copy full SHA for 4b37f3b

• Merge branch 'master' into fix-typos/chapter5

  SlimTim10

  committed
  c6279ab

  Copy full SHA for c6279ab

• Fix typo

  SlimTim10

  committed
  8c17bac

  Copy full SHA for 8c17bac

Commits on Jan 4, 2024

• Fix a few typos

  isovector

  committed
  0ca7413

  Copy full SHA for 0ca7413

Commits on Dec 26, 2023

• Add missing period

  SlimTim10

  committed
  29eecc1

  Copy full SHA for 29eecc1

Commits on Dec 21, 2023

• v1.0.7

  isovector

  committed
  c27a8be

  Copy full SHA for c27a8be

• Cleanup some weird spacing/size issues with vel

  isovector

  committed
  d5b51c1

  Copy full SHA for d5b51c1

Commits on Dec 19, 2023

• v1.0.6

  isovector

  committed
  d84039b

  Copy full SHA for d84039b

• Merge pull request #13 from joha2/fixtypos2

  Show description for a527e73
  isovector

  authored
  a527e73

  Copy full SHA for a527e73

• added missing AgdaCommand in Chap. 7

  joha2

  committed
  3cb8acc

  Copy full SHA for 3cb8acc

• removed doubling of "a hard" in Chap. 7

  joha2

  committed
  a895b5d

  Copy full SHA for a895b5d

• added : after field in Chap. 7

  joha2

  committed
  c8c9274

  Copy full SHA for c8c9274

• added ` in Chap. 7

  joha2

  committed
  b385dec

  Copy full SHA for b385dec

• \equiv -> == in Chap. 6

  joha2

  committed
  6aa8e5e

  Copy full SHA for 6aa8e5e

• know -> no in Chap. 6

  joha2

  committed
  3266386

  Copy full SHA for 3266386

• added missing " in Chap. 6

  joha2

  committed
  c9c2d0f

  Copy full SHA for c9c2d0f

• added , in Chap. 1

  joha2

  committed
  8833cde

  Copy full SHA for 8833cde

• Merge pull request #10 from SlimTim10/fix-typos/chapter4

  Show description for 2ec2092
  isovector

  authored
  2ec2092

  Copy full SHA for 2ec2092

• Update src/book/Chapter4-Relations.lagda.md

  isovector

  authored
  5eb45ee

  Copy full SHA for 5eb45ee

• Update src/book/Chapter4-Relations.lagda.md

  isovector

  authored
  77a276a

  Copy full SHA for 77a276a

• Update src/book/Chapter4-Relations.lagda.md

  isovector

  authored
  c1f7e5e

  Copy full SHA for c1f7e5e

• Update src/book/Chapter4-Relations.lagda.md

  isovector

  authored
  21e5626

  Copy full SHA for 21e5626

• Update src/book/Chapter4-Relations.lagda.md

  isovector

  authored
  06bd9c3

  Copy full SHA for 06bd9c3

• Update src/book/Chapter4-Relations.lagda.md

  isovector

  authored
  a2264f6

  Copy full SHA for a2264f6

Pagination

Previous

Next