Commits

Branch selector

 dev

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 24, 2025

• Bump sass from 1.85.1 to 1.86.0 (#1105)

  Show description for 6f14bdc
  dependabot[bot]

  authored
  6f14bdc

  Copy full SHA for 6f14bdc

Commits on Mar 3, 2025

• Bump sass from 1.85.0 to 1.85.1 (#1104)

  Show description for bb60b52
  dependabot[bot]

  authored
  bb60b52

  Copy full SHA for bb60b52

Commits on Feb 25, 2025

• Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3 (#1103)

  Show description for dd63742
  dependabot[bot]

  authored
  dd63742

  Copy full SHA for dd63742

Commits on Feb 18, 2025

• Bump sass from 1.84.0 to 1.85.0 (#1101)

  Show description for d1ffbc4
  dependabot[bot]

  authored
  d1ffbc4

  Copy full SHA for d1ffbc4

Commits on Feb 15, 2025

• Fix a typo in Lambda (#1100)

  alissa-tung

  authored
  5bfe045

  Copy full SHA for 5bfe045

Commits on Feb 13, 2025

• Fix a sentence regarding pattern matching in Connectives (#1098)

  Show description for 901c31d
  

  fangyi-zhou

  and

  wenkokke

  authored
  901c31d

  Copy full SHA for 901c31d

Commits on Feb 12, 2025

• Fix code formatting for an exercise in Equality (#1096)

  fangyi-zhou

  authored
  822982d

  Copy full SHA for 822982d

Commits on Feb 11, 2025

• Add a full stop to an unterminated sentence in Connectives (#1095)

  fangyi-zhou

  authored
  e967e02

  Copy full SHA for e967e02

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 9, 2025

• remove jeremy's twitter (#1093)

  wenkokke

  authored
  de7ed1f

  Copy full SHA for de7ed1f

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

  wenkokke

  authored
  0597586

  Copy full SHA for 0597586

Commits on Feb 8, 2025

• remove my twitter (#1092)

  wenkokke

  authored
  fd89531

  Copy full SHA for fd89531

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

  Show description for b478583
  

  3 peopleauthored
  b478583

  Copy full SHA for b478583

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 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 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 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 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 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 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 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 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 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 Nov 29, 2024

• Fixing two problems in chapter `Inference` (#1073)

  Show description for ce50e93
  hafniz

  authored
  ce50e93

  Copy full SHA for ce50e93

Commits on Nov 26, 2024

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

  timjs

  authored
  e48ae08

  Copy full SHA for e48ae08

Commits on Nov 19, 2024

• update TSPL link to Assignment4 (#1070)

  wadler

  authored
  5b06b5c

  Copy full SHA for 5b06b5c

• Bump sass from 1.80.6 to 1.81.0 (#1068)

  Show description for a4b3660
  dependabot[bot]

  authored
  a4b3660

  Copy full SHA for a4b3660

Commits on Nov 18, 2024

• add Assignment4 (#1069)

  wadler

  authored
  81eda5d

  Copy full SHA for 81eda5d

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

  Indigo-Jones

  authored
  9d9cf94

  Copy full SHA for 9d9cf94

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

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

  hafniz

  authored
  2f01537

  Copy full SHA for 2f01537

Commits on Nov 12, 2024

• Bump bumpver from 2023.1129 to 2024.1130 (#1064)

  Show description for 16fc424
  dependabot[bot]

  authored
  16fc424

  Copy full SHA for 16fc424

• 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

Commits on Nov 10, 2024

• added DeMorgan to extra (#1063)

  wadler

  authored
  d5f810f

  Copy full SHA for d5f810f

Commits on Nov 5, 2024

• update Assignment3 (#1062)

  wadler

  authored
  8fc2bc6

  Copy full SHA for 8fc2bc6

Pagination

Previous

Next