Code

Merge with upstream#252

Code

Merged

OlingCat merged 61 commits intodevAgda-zh/PLFA-zh:devfrom merge-upstreamAgda-zh/PLFA-zh:merge-upstreamCopy head branch name to clipboardFeb 12, 2025

+3,899-341

Commits

Commits on Sep 10, 2024

• Fix a typo. (#1031)

  OlingCat

  authored
  c592003

  Copy full SHA for c592003

Commits on Sep 11, 2024

• set up TSPL 2024 course page (#1032)

  wadler

  authored
  ff8834a

  Copy full SHA for ff8834a

Commits on Sep 12, 2024

• Correcting Louis's webpage (#1033)

  llemonnier

  authored
  0df905f

  Copy full SHA for 0df905f

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 16, 2024

• update TSPL/2024 (#1035)

  wadler

  authored
  3250f07

  Copy full SHA for 3250f07

• update web/TableOfContents (#1036)

  wadler

  authored
  691f094

  Copy full SHA for 691f094

Commits on Sep 23, 2024

• Bump browser-sync from 3.0.2 to 3.0.3 (#1038)

  Show description for 92d52fe
  dependabot[bot]

  authored
  92d52fe

  Copy full SHA for 92d52fe

• Bump sass from 1.78.0 to 1.79.3 (#1037)

  Show description for be81dff
  dependabot[bot]

  authored
  be81dff

  Copy full SHA for be81dff

Commits on Oct 1, 2024

• Bump sass from 1.79.3 to 1.79.4 (#1040)

  Show description for 60aeb5b
  dependabot[bot]

  authored
  60aeb5b

  Copy full SHA for 60aeb5b

• Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 (#1039)

  Show description for 3963819
  dependabot[bot]

  authored
  3963819

  Copy full SHA for 3963819

Commits on Oct 2, 2024

• updated course page (#1041)

  Show description for 17f35a7
  wadler

  authored
  17f35a7

  Copy full SHA for 17f35a7

• add link to Assignment1 (#1042)

  wadler

  authored
  1acae78

  Copy full SHA for 1acae78

Commits on Oct 9, 2024

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

  Show description for 3f9c148
  pre-commit-ci[bot]

  authored
  3f9c148

  Copy full SHA for 3f9c148

Commits on Oct 10, 2024

• Bump cookie and socket.io (#1045)

  Show description for 34d7a84
  dependabot[bot]

  authored
  34d7a84

  Copy full SHA for 34d7a84

Commits on Oct 11, 2024

• update Assignment2, remove Base (#1046)

  wadler

  authored
  b270472

  Copy full SHA for b270472

Commits on Oct 12, 2024

• various updates (#1048)

  wadler

  authored
  7aadc35

  Copy full SHA for 7aadc35

Commits on Oct 15, 2024

• fix imports for Negation (#1049)

  wadler

  authored
  24e0361

  Copy full SHA for 24e0361

• update Connectives to put records first (#1051)

  wadler

  authored
  6a09e12

  Copy full SHA for 6a09e12

Commits on Oct 16, 2024

• Bump sass from 1.79.4 to 1.79.5 (#1050)

  Show description for c53dbc9
  dependabot[bot]

  authored
  c53dbc9

  Copy full SHA for c53dbc9

• update Qualifiers to use records first (#1052)

  Show description for e82750f
  wadler

  authored
  e82750f

  Copy full SHA for e82750f

Commits on Oct 23, 2024

• Bump sass from 1.79.5 to 1.80.3 (#1053)

  Show description for 0925e52
  dependabot[bot]

  authored
  0925e52

  Copy full SHA for 0925e52

Commits on Oct 24, 2024

• update headers for tspl schedule (#1054)

  wadler

  authored
  99f82e7

  Copy full SHA for 99f82e7

Commits on Oct 30, 2024

• Fix Assignment 2 and lectures for week 7 (#1056)

  Show description for 740edba
  

  wadler

  and

  pre-commit-ci[bot]

  authored
  740edba

  Copy full SHA for 740edba

• Bump sass from 1.80.3 to 1.80.4 (#1055)

  Show description for b0addd5
  dependabot[bot]

  authored
  b0addd5

  Copy full SHA for b0addd5

Commits on Nov 4, 2024

• release Assignment3 (#1058)

  Show description for 4b60d3f
  wadler

  authored
  4b60d3f

  Copy full SHA for 4b60d3f

Commits on Nov 5, 2024

• Bump sass from 1.80.4 to 1.80.6 (#1059)

  Show description for 810e13b
  dependabot[bot]

  authored
  810e13b

  Copy full SHA for 810e13b

• Remove requirement for pattern matching in ×-comm and ×-assoc (#1057)

  Show description for c6652a7
  

  hafniz

  and

  pre-commit-ci[bot]

  authored
  c6652a7

  Copy full SHA for c6652a7

• update Assignment3 (#1062)

  wadler

  authored
  8fc2bc6

  Copy full SHA for 8fc2bc6

Commits on Nov 10, 2024

• added DeMorgan to extra (#1063)

  wadler

  authored
  d5f810f

  Copy full SHA for d5f810f

Commits on Nov 12, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 (#1065)

  Show description for e90acb3
  dependabot[bot]

  authored
  e90acb3

  Copy full SHA for e90acb3

• Bump bumpver from 2023.1129 to 2024.1130 (#1064)

  Show description for 16fc424
  dependabot[bot]

  authored
  16fc424

  Copy full SHA for 16fc424

Commits on Nov 13, 2024

• Use double substitution for alternative formulation of products (#1066)

  hafniz

  authored
  2f01537

  Copy full SHA for 2f01537

Commits on Nov 14, 2024

• Compact definition of ¬¬¬-elim (#1060)

  Show description for c2314e9
  

  3 peopleauthored
  c2314e9

  Copy full SHA for c2314e9

Commits on Nov 18, 2024

• improve clarity of case in synthesize function (#1067)

  Indigo-Jones

  authored
  9d9cf94

  Copy full SHA for 9d9cf94

• add Assignment4 (#1069)

  wadler

  authored
  81eda5d

  Copy full SHA for 81eda5d

Commits on Nov 19, 2024

• Bump sass from 1.80.6 to 1.81.0 (#1068)

  Show description for a4b3660
  dependabot[bot]

  authored
  a4b3660

  Copy full SHA for a4b3660

• update TSPL link to Assignment4 (#1070)

  wadler

  authored
  5b06b5c

  Copy full SHA for 5b06b5c

Commits on Nov 26, 2024

• Fix reference to +-assoc in text (#1072)

  timjs

  authored
  e48ae08

  Copy full SHA for e48ae08

Commits on Nov 29, 2024

• Fixing two problems in chapter Inference (#1073)

  Show description for ce50e93
  hafniz

  authored
  ce50e93

  Copy full SHA for ce50e93

Commits on Dec 2, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 (#1074)

  Show description for 6989652
  dependabot[bot]

  authored
  6989652

  Copy full SHA for 6989652

Commits on Dec 9, 2024

• Bump sass from 1.81.0 to 1.82.0 (#1075)

  Show description for 4c9f656
  dependabot[bot]

  authored
  4c9f656

  Copy full SHA for 4c9f656

Commits on Dec 10, 2024

• Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 (#1076)

  Show description for 4356323
  dependabot[bot]

  authored
  4356323

  Copy full SHA for 4356323

Commits on Dec 16, 2024

• Bump sass from 1.82.0 to 1.83.0 (#1077)

  Show description for 9e60635
  dependabot[bot]

  authored
  9e60635

  Copy full SHA for 9e60635

Commits on Jan 6, 2025

• Bump sass from 1.83.0 to 1.83.1 (#1078)

  Show description for 6df65f9
  dependabot[bot]

  authored
  6df65f9

  Copy full SHA for 6df65f9

Commits on Jan 12, 2025

• Switch trans' from quote to prime in text to match agda code (#1081)

  Show description for 9638790
  

  negatratoron

  and

  Jefferson Carpenter

  authored
  9638790

  Copy full SHA for 9638790

Commits on Jan 13, 2025

• Add imports for *-mono-<= exercise (#1080)

  Show description for b22efa9
  

  negatratoron

  and

  Jefferson Carpenter

  authored
  b22efa9

  Copy full SHA for b22efa9

Commits on Jan 20, 2025

• Bump sass from 1.83.1 to 1.83.4 (#1082)

  Show description for 379e869
  dependabot[bot]

  authored
  379e869

  Copy full SHA for 379e869

Commits on Jan 23, 2025

• Rename 'standard prelude' to 'standard library' in Negation.lagda.md for consistency (#1084)

  rwnobrega

  authored
  2400b73

  Copy full SHA for 2400b73

Commits on Jan 24, 2025

• Extensionality not required for proof of neg any equiv all neg (#1086)

  Show description for 1824aed
  

  negatratoron

  and

  Jefferson Carpenter

  authored
  1824aed

  Copy full SHA for 1824aed

Commits on Feb 8, 2025

• Improve the interactivity of the section on holes in Naturals (#1089)

  Show description for b478583
  

  3 peopleauthored
  b478583

  Copy full SHA for b478583

• remove my twitter (#1092)

  wenkokke

  authored
  fd89531

  Copy full SHA for fd89531

Commits on Feb 9, 2025

• feat(vscode): recommend agda-mode (#1090)

  wenkokke

  authored
  0597586

  Copy full SHA for 0597586

• remove jeremy's twitter (#1093)

  wenkokke

  authored
  de7ed1f

  Copy full SHA for de7ed1f

Commits on Feb 10, 2025

• Bump sass from 1.83.4 to 1.84.0 (#1094)

  Show description for 667ec3b
  dependabot[bot]

  authored
  667ec3b

  Copy full SHA for 667ec3b

Commits on Feb 11, 2025

• Merge remote-tracking branch 'english/dev' into dev

  fangyi-zhou

  committed
  7901b09

  Copy full SHA for 7901b09

• Merge remote-tracking branch 'english/dev' into dev

  fangyi-zhou

  committed
  f661a72

  Copy full SHA for f661a72

• Merge remote-tracking branch 'origin/dev' into merge-upstream

  fangyi-zhou

  committed
  937a57e

  Copy full SHA for 937a57e

• Fix some translations

  fangyi-zhou

  committed
  1bd55a9

  Copy full SHA for 1bd55a9

Commits on Feb 12, 2025

• Translate new texts in part1

  fangyi-zhou

  committed
  f65dbf4

  Copy full SHA for f65dbf4

• Fix some style/typo in part1

  fangyi-zhou

  committed
  586349b

  Copy full SHA for 586349b

• Fix a missing translation in Connectives

  fangyi-zhou

  committed
  6d148b7

  Copy full SHA for 6d148b7