Commits

Branch selector

 dev

User selector

All users

All time

Commit History

Commits on Mar 4, 2026

• Update html-proofer requirement from ~> 5.1.0 to ~> 5.2.0 (#1165)

  Show description for a93969c
  dependabot[bot]

  authored
  a93969c

  Copy full SHA for a93969c

• Bump minimatch (#1176)

  Show description for 39cd26e
  dependabot[bot]

  authored
  39cd26e

  Copy full SHA for 39cd26e

• Bump actions/download-artifact from 7 to 8 (#1178)

  Show description for 53d7d92
  dependabot[bot]

  authored
  53d7d92

  Copy full SHA for 53d7d92

• Bump actions/upload-artifact from 6 to 7 (#1177)

  Show description for 9c5d93d
  dependabot[bot]

  authored
  9c5d93d

  Copy full SHA for 9c5d93d

Commits on Feb 26, 2026

• Bump html-validate from 10.7.0 to 10.9.0 (#1174)

  Show description for b8789f5
  dependabot[bot]

  authored
  b8789f5

  Copy full SHA for b8789f5

• Fix a typo (#1175)

  OlingCat

  authored
  65f463a

  Copy full SHA for 65f463a

Commits on Jan 27, 2026

• paragraph on normal order reduction in Untyped chapter (#962)

  Show description for 22fd4d7
  

  peterthiemann

  and

  pre-commit-ci[bot]

  authored
  22fd4d7

  Copy full SHA for 22fd4d7

Commits on Jan 26, 2026

• Bump html-validate from 10.5.0 to 10.6.0 (#1171)

  Show description for 4678abc
  dependabot[bot]

  authored
  4678abc

  Copy full SHA for 4678abc

Commits on Jan 23, 2026

• Bump sass from 1.97.1 to 1.97.2 (#1166)

  Show description for 7a28203
  dependabot[bot]

  authored
  7a28203

  Copy full SHA for 7a28203

• Bump lodash from 4.17.21 to 4.17.23 (#1172)

  Show description for 65cd427
  dependabot[bot]

  authored
  65cd427

  Copy full SHA for 65cd427

Commits on Jan 19, 2026

• Bump JamesIves/github-pages-deploy-action from 4.7.6 to 4.8.0 (#1167)

  Show description for be518d2
  dependabot[bot]

  authored
  be518d2

  Copy full SHA for be518d2

Commits on Jan 16, 2026

• Update email address for Jeremy G. Siek (#1170)

  Show description for 764a3ec
  jsiek

  authored
  764a3ec

  Copy full SHA for 764a3ec

Commits on Jan 14, 2026

• Add course information for Jeremy Siek in 2026 (#1168)

  Show description for b70f56d
  jsiek

  authored
  b70f56d

  Copy full SHA for b70f56d

Commits on Dec 24, 2025

• Comment out omitted passage (#1163)

  wenkokke

  authored
  2ac09f8

  Copy full SHA for 2ac09f8

• Update contributors (#1164)

  wenkokke

  authored
  87c6b2e

  Copy full SHA for 87c6b2e

• Fix use of headers (#1162)

  wenkokke

  authored
  5b3184c

  Copy full SHA for 5b3184c

• Ensure all code blocks are labeled and spaced (#1161)

  wenkokke

  authored
  5c5fbe6

  Copy full SHA for 5c5fbe6

• PLFA 2025 10 27: change how `eval` is defined (#1141)

  Show description for f187ce7
  

  wadler

  and

  wenkokke

  authored
  f187ce7

  Copy full SHA for f187ce7

Commits on Dec 23, 2025

• Bump sass from 1.97.0 to 1.97.1 (#1160)

  Show description for 47bb230
  dependabot[bot]

  authored
  47bb230

  Copy full SHA for 47bb230

Commits on Dec 19, 2025

• Bump sass from 1.94.2 to 1.96.0 (#1158)

  Show description for 8bee54a
  dependabot[bot]

  authored
  8bee54a

  Copy full SHA for 8bee54a

• Bump actions/download-artifact from 6 to 7 (#1154)

  Show description for f3c3a70
  dependabot[bot]

  authored
  f3c3a70

  Copy full SHA for f3c3a70

• Bump JamesIves/github-pages-deploy-action from 4.7.4 to 4.7.6 (#1155)

  Show description for 36da766
  dependabot[bot]

  authored
  36da766

  Copy full SHA for 36da766

• Bump actions/cache from 4 to 5 (#1156)

  Show description for e22a769
  dependabot[bot]

  authored
  e22a769

  Copy full SHA for e22a769

• Bump actions/upload-artifact from 5 to 6 (#1157)

  Show description for e94d631
  dependabot[bot]

  authored
  e94d631

  Copy full SHA for e94d631

• Bump html-validate from 10.4.0 to 10.5.0 (#1159)

  Show description for 0e87675
  dependabot[bot]

  authored
  0e87675

  Copy full SHA for 0e87675

Commits on Nov 25, 2025

• Bump sass from 1.94.0 to 1.94.2 (#1152)

  Show description for 0e5a314
  dependabot[bot]

  authored
  0e5a314

  Copy full SHA for 0e5a314

• Bump actions/checkout from 5 to 6 (#1151)

  Show description for ceeeee5
  dependabot[bot]

  authored
  ceeeee5

  Copy full SHA for ceeeee5

Commits on Nov 19, 2025

• Bump html-validate from 10.3.1 to 10.4.0 (#1148)

  Show description for af27aa8
  dependabot[bot]

  authored
  af27aa8

  Copy full SHA for af27aa8

Commits on Nov 18, 2025

• Bump glob from 11.0.3 to 11.1.0 (#1150)

  Show description for 6cbc043
  dependabot[bot]

  authored
  6cbc043

  Copy full SHA for 6cbc043

• Bump sass from 1.93.3 to 1.94.0 (#1149)

  Show description for a357413
  dependabot[bot]

  authored
  a357413

  Copy full SHA for a357413

Commits on Nov 11, 2025

• Update html-proofer requirement from ~> 5.0.3 to ~> 5.1.0 (#1145)

  Show description for 90b8e9a
  dependabot[bot]

  authored
  90b8e9a

  Copy full SHA for 90b8e9a

• Bump JamesIves/github-pages-deploy-action from 4.7.3 to 4.7.4 (#1147)

  Show description for fbfcb51
  dependabot[bot]

  authored
  fbfcb51

  Copy full SHA for fbfcb51

• Bump html-validate from 10.3.0 to 10.3.1 (#1146)

  Show description for 5cec2db
  dependabot[bot]

  authored
  5cec2db

  Copy full SHA for 5cec2db

Commits on Nov 4, 2025

• Bump html-validate from 10.2.1 to 10.3.0 (#1142)

  Show description for 12c3250
  dependabot[bot]

  authored
  12c3250

  Copy full SHA for 12c3250

• Bump sass from 1.93.2 to 1.93.3 (#1143)

  Show description for 0bbb382
  dependabot[bot]

  authored
  0bbb382

  Copy full SHA for 0bbb382

Pagination

Previous

Next