Commits

Branch selector

 feature-courses

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 16, 2024

• Add courses

  wenkokke

  committed
  75bdf20

  Copy full SHA for 75bdf20

• update web/TableOfContents (#1036)

  wadler

  authored
  691f094

  Copy full SHA for 691f094

• update TSPL/2024 (#1035)

  wadler

  authored
  3250f07

  Copy full SHA for 3250f07

Commits on Sep 13, 2024

• Use JuliaMono as code font (#1034)

  Show description for 4b2125b
  

  wenkokke

  and

  pre-commit-ci[bot]

  authored
  4b2125b

  Copy full SHA for 4b2125b

Commits on Sep 12, 2024

• Correcting Louis's webpage (#1033)

  llemonnier

  authored
  0df905f

  Copy full SHA for 0df905f

Commits on Sep 11, 2024

• set up TSPL 2024 course page (#1032)

  wadler

  authored
  ff8834a

  Copy full SHA for ff8834a

Commits on Sep 10, 2024

• Fix a typo. (#1031)

  OlingCat

  authored
  c592003

  Copy full SHA for c592003

Commits on Sep 9, 2024

• Bump sass from 1.77.8 to 1.78.0 (#1030)

  Show description for 0e9ef05
  dependabot[bot]

  authored
  0e9ef05

  Copy full SHA for 0e9ef05

• fixed Induction and Equality for new equality chains (#1029)

  Show description for 0471e91
  

  wadler

  and

  pre-commit-ci[bot]

  authored
  0471e91

  Copy full SHA for 0471e91

Commits on Sep 5, 2024

• Update PLFA to use Agda v2.7 (#1028)

  Show description for 7303ffd
  

  wenkokke

  and

  JacquesCarette

  authored
  7303ffd

  Copy full SHA for 7303ffd

Commits on Sep 3, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 (#1027)

  Show description for 9549ebd
  dependabot[bot]

  authored
  9549ebd

  Copy full SHA for 9549ebd

Commits on Jul 29, 2024

• explain Subst and Rename in Confluence chapter (#1022)

  jsiek

  authored
  23cc185

  Copy full SHA for 23cc185

Commits on Jul 24, 2024

• updated extra/Subtyping-phil.lagda.md (#1017)

  wadler

  authored
  ed27745

  Copy full SHA for ed27745

Commits on Jul 15, 2024

• Bump sass from 1.77.6 to 1.77.8 (#1015)

  Show description for 496fdb1
  dependabot[bot]

  authored
  496fdb1

  Copy full SHA for 496fdb1

Commits on Jul 14, 2024

• fix sub-abs in summary of the sigma algebra (#1014)

  jsiek

  authored
  d2f70f4

  Copy full SHA for d2f70f4

Commits on Jul 8, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012)

  Show description for d6468f7
  dependabot[bot]

  authored
  d6468f7

  Copy full SHA for d6468f7

Commits on Jun 25, 2024

• Bump sass from 1.77.5 to 1.77.6 (#1011)

  Show description for 74fc937
  dependabot[bot]

  authored
  74fc937

  Copy full SHA for 74fc937

Commits on Jun 18, 2024

• Bump braces from 3.0.2 to 3.0.3 (#1009)

  Show description for 2456d65
  dependabot[bot]

  authored
  2456d65

  Copy full SHA for 2456d65

• Bump ws, engine.io-client and socket.io (#1010)

  Show description for 0df9c8b
  dependabot[bot]

  authored
  0df9c8b

  Copy full SHA for 0df9c8b

• Bump sass from 1.77.4 to 1.77.5 (#1007)

  Show description for 34347d6
  dependabot[bot]

  authored
  34347d6

  Copy full SHA for 34347d6

Commits on Jun 15, 2024

• improve commute-subst-rename (#1006)

  damhiya

  authored
  fade166

  Copy full SHA for fade166

Commits on Jun 3, 2024

• Bump sass from 1.77.2 to 1.77.4 (#1004)

  Show description for e8a0bcc
  dependabot[bot]

  authored
  e8a0bcc

  Copy full SHA for e8a0bcc

Commits on May 20, 2024

• --- (#999)

  Show description for 1bd6b56
  dependabot[bot]

  authored
  1bd6b56

  Copy full SHA for 1bd6b56

• --- (#1000)

  Show description for 67fb9e3
  dependabot[bot]

  authored
  67fb9e3

  Copy full SHA for 67fb9e3

Commits on May 17, 2024

• Bump sass from 1.76.0 to 1.77.1 (#996)

  Show description for ea1f11d
  dependabot[bot]

  authored
  ea1f11d

  Copy full SHA for ea1f11d

• Generalize and move postulation of `foldr-++` (#998)

  Show description for 22963f4
  adql

  authored
  22963f4

  Copy full SHA for 22963f4

Commits on May 7, 2024

• Bump sass from 1.75.0 to 1.76.0 (#995)

  Show description for e52c39b
  dependabot[bot]

  authored
  e52c39b

  Copy full SHA for e52c39b

Commits on May 5, 2024

• Fix issue #987 (#994)

  wenkokke

  authored
  0b81978

  Copy full SHA for 0b81978

Commits on Apr 22, 2024

• Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0 (#985)

  Show description for 270dc79
  dependabot[bot]

  authored
  270dc79

  Copy full SHA for 270dc79

Commits on Apr 15, 2024

• Bump sass from 1.74.1 to 1.75.0 (#984)

  Show description for eb3b116
  dependabot[bot]

  authored
  eb3b116

  Copy full SHA for eb3b116

Commits on Apr 8, 2024

• [pre-commit.ci] pre-commit autoupdate (#982)

  Show description for 9af5d06
  pre-commit-ci[bot]

  authored
  9af5d06

  Copy full SHA for 9af5d06

• Bump sass from 1.72.0 to 1.74.1 (#983)

  Show description for db73025
  dependabot[bot]

  authored
  db73025

  Copy full SHA for db73025

Commits on Mar 23, 2024

• Fixed some typos (#981)

  Show description for 0561a70
  OlingCat

  authored
  0561a70

  Copy full SHA for 0561a70

Commits on Mar 20, 2024

• Bump sass from 1.71.1 to 1.72.0 (#979)

  Show description for a1f7848
  dependabot[bot]

  authored
  a1f7848

  Copy full SHA for a1f7848

Commits on Mar 16, 2024

• Bump follow-redirects from 1.15.4 to 1.15.6 (#978)

  Show description for e5567eb
  dependabot[bot]

  authored
  e5567eb

  Copy full SHA for e5567eb

Pagination

Previous

Next