Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 7, 2021

• clarification

  jyp

  committed
  019c103

  Copy full SHA for 019c103

• kill todos in ch 4

  jyp

  committed
  28fdb68

  Copy full SHA for 28fdb68

• fix Field

  jyp

  committed
  b8d5e57

  Copy full SHA for b8d5e57

Commits on Apr 21, 2021

• Ch3: small clarification based on student question.

  patrikja

  committed
  fb5592d

  Copy full SHA for fb5592d

Commits on Apr 16, 2021

• minor fixes

  jyp

  committed
  216464a

  Copy full SHA for 216464a

• ch 1 fixes

  jyp

  committed
  425dcbf

  Copy full SHA for 425dcbf

• Small type fixes in Ch3 and Ch4.

  patrikja

  committed
  66bd343

  Copy full SHA for 66bd343

Commits on Apr 12, 2021

• address some todos

  jyp

  committed
  4d08b22

  Copy full SHA for 4d08b22

• ch 3: review todos

  jyp

  committed
  520c2e4

  Copy full SHA for 520c2e4

• ch 1: kill some todos

  jyp

  committed
  1acaa86

  Copy full SHA for 1acaa86

Commits on Apr 9, 2021

• trying to improve coherence

  jyp

  committed
  1517180

  Copy full SHA for 1517180

• yikes

  jyp

  committed
  717bd9d

  Copy full SHA for 717bd9d

• flow and commentary

  jyp

  committed
  cde6c65

  Copy full SHA for cde6c65

• flow text

  jyp

  committed
  d6a4b7d

  Copy full SHA for d6a4b7d

• oops, typography

  jyp

  committed
  d0739c8

  Copy full SHA for d0739c8

• typecheck and hence fix some proofs

  jyp

  committed
  e2270bd

  Copy full SHA for e2270bd

• fill some gaps

  jyp

  committed
  80874b4

  Copy full SHA for 80874b4

• ch 9: intro paragraph

  jyp

  committed
  b00f486

  Copy full SHA for b00f486

• kill a todo

  jyp

  committed
  3e94f47

  Copy full SHA for 3e94f47

• re-activate todos

  jyp

  committed
  33c6490

  Copy full SHA for 33c6490

• show monadic interface anyway

  jyp

  committed
  381fee0

  Copy full SHA for 381fee0

• monad gone from ch 9

  jyp

  committed
  0d6d600

  Copy full SHA for 0d6d600

• wibble

  jyp

  committed
  5405f5e

  Copy full SHA for 5405f5e

• note

  jyp

  committed
  dcb21d9

  Copy full SHA for dcb21d9

• more proper reference to ch. 9

  jyp

  committed
  1a3e8db

  Copy full SHA for 1a3e8db

• clean

  jyp

  committed
  0054b2c

  Copy full SHA for 0054b2c

Commits on Apr 8, 2021

• Ch 9: get rid of monads

  jyp

  committed
  53ca0f4

  Copy full SHA for 53ca0f4

• tweaks

  jyp

  committed
  f01bf6b

  Copy full SHA for f01bf6b

Commits on Mar 30, 2021

• clarify

  jyp

  committed
  1fffab7

  Copy full SHA for 1fffab7

Commits on Mar 29, 2021

• dot -> inner

  jyp

  committed
  b20d826

  Copy full SHA for b20d826

• ch 7: tweaks

  jyp

  committed
  2eed148

  Copy full SHA for 2eed148

• define isomorphism (finally!)

  jyp

  committed
  ccb69cf

  Copy full SHA for ccb69cf

• sec 1

  jyp

  committed
  48fd553

  Copy full SHA for 48fd553

• minor stuff in ch 6

  jyp

  committed
  1977e2b

  Copy full SHA for 1977e2b

• notes can't be reactivated without breaking compilation T_T

  jyp

  committed
  03e1b1f

  Copy full SHA for 03e1b1f