Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 10, 2024

• Merge pull request #446 from jacquescomeaux/add-pushout-predicate

  Show description for 46bfebd
  JacquesCarette

  authored
  46bfebd

  Copy full SHA for 46bfebd

• Merge pull request #445 from jacquescomeaux/pushout-up-to-iso-fix

  Show description for f274d80
  JacquesCarette

  authored
  f274d80

  Copy full SHA for f274d80

• Merge pull request #444 from agda/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2

  Show description for 7edab60
  JacquesCarette

  authored
  7edab60

  Copy full SHA for 7edab60

Commits on Dec 9, 2024

• Add predicate form for pushouts

  jacquescomeaux

  committed
  584abc0

  Copy full SHA for 584abc0

Commits on Dec 7, 2024

• Remove extraneous up-to-iso argument

  jacquescomeaux

  committed
  1ac62b0

  Copy full SHA for 1ac62b0

Commits on Dec 4, 2024

• Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2

  Show description for 7dee29c
  dependabot[bot]

  authored
  7dee29c

  Copy full SHA for 7dee29c

Commits on Nov 29, 2024

• Merge pull request #442 from agda/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1

  Show description for 4aea83a
  JacquesCarette

  authored
  4aea83a

  Copy full SHA for 4aea83a

• Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1

  Show description for a6e2ad0
  dependabot[bot]

  authored
  a6e2ad0

  Copy full SHA for a6e2ad0

Commits on Nov 11, 2024

• Merge pull request #440 from agda/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9

  Show description for 43d3246
  JacquesCarette

  authored
  43d3246

  Copy full SHA for 43d3246

• Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9

  Show description for 91ac553
  dependabot[bot]

  authored
  91ac553

  Copy full SHA for 91ac553

Commits on Nov 7, 2024

• Merge pull request #439 from Taneb/slice-functor-rename

  Show description for 49f2dbb
  JacquesCarette

  authored
  49f2dbb

  Copy full SHA for 49f2dbb

Commits on Oct 24, 2024

• Remove BaseChage in favour of BaseChange*

  Taneb

  committed
  07581f7

  Copy full SHA for 07581f7

• Rename Forgetful and Free to TotalSpace and ConstantFamily

  Taneb

  committed
  8cc30fd

  Copy full SHA for 8cc30fd

Commits on Oct 21, 2024

• Merge pull request #438 from agda/bump-stdlib-bound

  Show description for ac0d9d2
  JacquesCarette

  authored
  ac0d9d2

  Copy full SHA for ac0d9d2

• Update in github workflow

  Taneb

  committed
  f4b787c

  Copy full SHA for f4b787c

• Bump standard library dependency to 2.1

  Taneb

  committed
  b5ca41c

  Copy full SHA for b5ca41c

Commits on Oct 4, 2024

• Merge pull request #436 from agda/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8

  Show description for 9022b37
  JacquesCarette

  authored
  9022b37

  Copy full SHA for 9022b37

Commits on Sep 30, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8

  Show description for d0be12b
  dependabot[bot]

  authored
  d0be12b

  Copy full SHA for d0be12b

Commits on Sep 24, 2024

• Merge pull request #435 from jacquescomeaux/pushout-up-to-iso

  Show description for 502d505
  JacquesCarette

  authored
  502d505

  Copy full SHA for 502d505

Commits on Sep 22, 2024

• Clean up additional imports

  jacquescomeaux

  committed
  4a68d29

  Copy full SHA for 4a68d29

• Add up-to-iso property for pushouts

  jacquescomeaux

  committed
  64be2b8

  Copy full SHA for 64be2b8

Commits on Sep 18, 2024

• Merge pull request #431 from jacquescomeaux/master

  Show description for 9d27c77
  JacquesCarette

  authored
  9d27c77

  Copy full SHA for 9d27c77

Commits on Sep 11, 2024

• Merge pull request #434 from Reijix/pnno-tiny

  Show description for d4dc701
  JacquesCarette

  authored
  d4dc701

  Copy full SHA for d4dc701

Commits on Sep 10, 2024

• Use more generic types for lemmas in IsParametrizedNNO

  Reijix

  committed
  712d93c

  Copy full SHA for 712d93c

Commits on Sep 3, 2024

• Merge pull request #433 from agda/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4

  Show description for 6c550ab
  JacquesCarette

  authored
  6c550ab

  Copy full SHA for 6c550ab

• Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4

  Show description for f5a2b60
  dependabot[bot]

  authored
  f5a2b60

  Copy full SHA for f5a2b60

Commits on Aug 9, 2024

• Indicate implicit argument in lambda pattern

  jacquescomeaux

  committed
  f25b6e7

  Copy full SHA for f25b6e7

• Use level-polymorphic empty type

  jacquescomeaux

  committed
  de29737

  Copy full SHA for de29737

Commits on Aug 6, 2024

• Replace unique field with unique-diagram

  Show description for 09c5304
  jacquescomeaux

  committed
  09c5304

  Copy full SHA for 09c5304

Commits on Aug 2, 2024

• Move Pushout unique field to bottom

  jacquescomeaux

  committed
  111698a

  Copy full SHA for 111698a

• Move IsPullback unique field to bottom

  jacquescomeaux

  committed
  36fab80

  Copy full SHA for 36fab80

Commits on Jul 25, 2024

• Merge pull request #429 from agda/feature/ci-cache

  Show description for 81d03d5
  JacquesCarette

  authored
  81d03d5

  Copy full SHA for 81d03d5

Commits on Jul 24, 2024

• refresh key

  HuStmpHrrr

  committed
  897f97a

  Copy full SHA for 897f97a

• Merge pull request #427 from Reijix/parametrizedNNO

  Show description for fe576e0
  JacquesCarette

  authored
  fe576e0

  Copy full SHA for fe576e0

Commits on Jul 17, 2024

• (P)NNO: replace locally defined functors with corresponding coproduct functors, better module parameters, improve readability of proof

  Reijix

  committed
  348b119

  Copy full SHA for 348b119

Pagination

Previous

Next