Commits

Branch selector

 master

User selector

jespercockx

Datepicker

All time

Commit History

Commits on Feb 7, 2023

• [ bugfix ] Fix typo in AbsTerm instance for IntervalUniv

  jespercockx

  committed
  e018e58

  Copy full SHA for e018e58

• [ bugfix ] Call elimView before calling infer in computeElimHeadType

  Show description for a98421c
  jespercockx

  committed
  a98421c

  Copy full SHA for a98421c

• [ debug ] Add some debug printing to infer function

  jespercockx

  committed
  49d10fe

  Copy full SHA for 49d10fe

• [ checkInternal ] Make infer function crash when given non-inferable term

  jespercockx

  committed
  566531d

  Copy full SHA for 566531d

• [ refactor ] Introduce CheckInternal type class

  Show description for d6e5c5f
  jespercockx

  committed
  d6e5c5f

  Copy full SHA for d6e5c5f

• Add `eliminateType` function

  jespercockx

  committed
  15a69aa

  Copy full SHA for 15a69aa

• [ refactor ] Add `TypeOf` type family for type-directed traversals

  jespercockx

  committed
  f6baf47

  Copy full SHA for f6baf47

Commits on Jan 28, 2023

• [ re #6364 ] Update cubical library commit

  jespercockx

  committed
  2511f0d

  Copy full SHA for 2511f0d

• [ re #6364 ] Add changelog entry

  jespercockx

  committed
  56864e5

  Copy full SHA for 56864e5

• [ re #6364 ] Update the user manual on instance resolution

  jespercockx

  committed
  05f52ed

  Copy full SHA for 05f52ed

• [ re #6364 ] Move three test cases to Fail

  jespercockx

  committed
  ad57630

  Copy full SHA for ad57630

• [ refactor ] Clean up some code in TypeChecking.InstanceArguments

  jespercockx

  committed
  7dfaf0b

  Copy full SHA for 7dfaf0b

• [ refactor ] Use `pureEqualTerm` for comparing instance candidates

  jespercockx

  committed
  06a1fff

  Copy full SHA for 06a1fff

• [ re #6364 ] Always add instance constraints as awake

  Show description for bb9f68e
  jespercockx

  committed
  bb9f68e

  Copy full SHA for bb9f68e

• [ re #6364 ] Make sure instance candidates contain no 'local' metas

  jespercockx

  committed
  7ca0479

  Copy full SHA for 7ca0479

• [ fix #6364 ] Only filter instances based on their type, not their body

  jespercockx

  committed
  2af2ff1

  Copy full SHA for 2af2ff1

Commits on Jan 21, 2023

• [ fix #6446 ] By reducing level arguments when reducing a sort (#6460)

  jespercockx

  authored
  97f79e9

  Copy full SHA for 97f79e9

Commits on Dec 22, 2022

• [ re #6405 ] Update the documentation for --erase-record-parameters

  jespercockx

  committed
  4ebbff6

  Copy full SHA for 4ebbff6

• [ re #6406 ] Don't eta-contract record projections in `hasElims`

  jespercockx

  committed
  97972d8

  Copy full SHA for 97972d8

• [ re #6406 ] Add some debug prints

  jespercockx

  committed
  00a5549

  Copy full SHA for 00a5549

Commits on Dec 1, 2022

• [ re #6211 ] Pull off the band-aid

  jespercockx

  committed
  536b73f

  Copy full SHA for 536b73f

Commits on Nov 19, 2022

• [ re #5858 ] Make `inContext` return to the original context of the macro call instead of the empty context

  Show description for 42a8a8a
  jespercockx

  committed
  42a8a8a

  Copy full SHA for 42a8a8a

Commits on Oct 27, 2022

• [ re #6055 ] Fix a typo in the changelog

  jespercockx

  committed
  a524cbb

  Copy full SHA for a524cbb

• [ re #6055 ] Add one more entry to the highlights

  jespercockx

  committed
  665074d

  Copy full SHA for 665074d

• [ re #6055 ] Add highlights section to release notes for 2.6.3

  jespercockx

  committed
  429d6ae

  Copy full SHA for 429d6ae

Commits on Oct 25, 2022

• [ re #4522 ] Add documentation for `--no-qualified-instances`

  jespercockx

  committed
  c6f187a

  Copy full SHA for c6f187a

Commits on Oct 24, 2022

• [ fix #6122 ] Update label list in closed-issues-for-milestone

  jespercockx

  committed
  a6d64d2

  Copy full SHA for a6d64d2

Commits on Oct 22, 2022

• [ refactor ] Factor out function `compareMetas` for comparing two meta applications

  jespercockx

  committed
  ccd4a2d

  Copy full SHA for ccd4a2d

• [ re #6211 ] Add a TODO for after the release

  jespercockx

  committed
  38b7433

  Copy full SHA for 38b7433

• [ re #6211 ] Avoid some more cases where we could block on an already solved meta

  jespercockx

  committed
  6004fc1

  Copy full SHA for 6004fc1

• [ fix #6211 ] Recompute updated blocker in funSortEquals

  jespercockx

  committed
  bb0bd30

  Copy full SHA for bb0bd30

• [ refactor ] Remove unnecessary call to `assignWrapper`

  Show description for d294cb2
  jespercockx

  committed
  d294cb2

  Copy full SHA for d294cb2

• [ refactor ] Factor out repeated definition of getBlocker

  jespercockx

  committed
  8e2a0ce

  Copy full SHA for 8e2a0ce

• [ debug ] Some improvements to debug printing in the conversion checker

  jespercockx

  committed
  fc78a85

  Copy full SHA for fc78a85

• [ refactor ] Simplify blocking logic in sort comparison a bit

  jespercockx

  committed
  237432c

  Copy full SHA for 237432c

Pagination

Previous

Next