Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 18, 2021

• Your branch is updated according to «origin/master».

  Show description for 61ef1e4
  mechvel

  committed
  61ef1e4

  Copy full SHA for 61ef1e4

Commits on Jul 15, 2021

• Merge branch 'master' of https://github.com/mechvel/agda-stdlib

  Show description for 9627f68
  mechvel

  committed
  9627f68

  Copy full SHA for 9627f68

• Your branch is updated according to «origin/master».

  Show description for 9ecd9c5
  mechvel

  committed
  9ecd9c5

  Copy full SHA for 9ecd9c5

• Merge branch 'master' into master

  MatthewDaggitt

  authored
  b32def6

  Copy full SHA for b32def6

• On the branch master

  Show description for 79e647e
  mechvel

  committed
  79e647e

  Copy full SHA for 79e647e

Commits on Jul 14, 2021

• On the branch master

  Show description for a23994c
  mechvel

  committed
  a23994c

  Copy full SHA for a23994c

• Fix whitespace

  MatthewDaggitt

  committed
  509f8ad

  Copy full SHA for 509f8ad

Commits on Jul 13, 2021

• Simplify definition of Data.Nat.Properties.<⇒≤ (#1548)

  dsheets

  authored
  acfb861

  Copy full SHA for acfb861

• Move `Strict` to `Function.Strict` and move `_$!_` there (#1533)

  MatthewDaggitt

  authored
  8031a3d

  Copy full SHA for 8031a3d

Commits on Jul 11, 2021

• Remove redundancy in ring morphisms etc (#1540)

  Show description for 77d8569
  

  Taneb

  and

  MatthewDaggitt

  authored
  77d8569

  Copy full SHA for 77d8569

Commits on Jul 10, 2021

• Stop `Data.Rational.Base` exporting `+0` and `+[1+_]` (#1537)

  MatthewDaggitt

  authored
  b09525c

  Copy full SHA for b09525c

• Add Data.Product.Properties.map-cong₂ (#1532)

  Taneb

  authored
  b47bcde

  Copy full SHA for b47bcde

Commits on Jul 6, 2021

• Updated docs for start of v2.0

  MatthewDaggitt

  committed
  4e2b20a

  Copy full SHA for 4e2b20a

Commits on Jul 4, 2021

• Added some basic properties of bijections (#1528)

  MatthewDaggitt

  authored
  516c545

  Copy full SHA for 516c545

Commits on Jun 21, 2021

• [ new ] golden testing framework (#1518)

  gallais

  authored
  231d210

  Copy full SHA for 231d210

• Add `IsUnitalMagma` and `IsQuasigroup` algebraic structures (#1501)

  Akshobhya1234

  authored
  aa12b7d

  Copy full SHA for aa12b7d

Commits on Jun 20, 2021

• Setup admin-y things for next version

  MatthewDaggitt

  committed
  caaea3a

  Copy full SHA for caaea3a

• Add algebra morphism identity and composition constructions (#1502)

  Taneb

  authored
  d8d9248

  Copy full SHA for d8d9248

• Fix CHANGELOG entry

  MatthewDaggitt

  committed
  b52327b

  Copy full SHA for b52327b

Commits on Jun 19, 2021

• [ ci ] GHC 8.10.5 is not supported yet when using `haskell-ci`.

  asr

  committed
  4413ad9

  Copy full SHA for 4413ad9

• Tested with GHC 8.10.5.

  asr

  committed
  eadc432

  Copy full SHA for eadc432

• [ .gitignore ] Added `.stack-work` directory.

  asr

  committed
  d7373df

  Copy full SHA for d7373df

• [ GNUmakefile ] Updated a comment.

  Show description for f97b35c
  asr

  committed
  f97b35c

  Copy full SHA for f97b35c

Commits on Jun 18, 2021

• [ ci ] doc for the actions script (#1522)

  Show description for e9ba0d2
  gallais

  authored
  e9ba0d2

  Copy full SHA for e9ba0d2

Commits on Jun 8, 2021

• Made `Data.Container(.Any/.FreeMonad)` safe by splitting out fixed points (#1513)

  Show description for e926c7d
  

  MatthewDaggitt

  and

  gallais

  authored
  e926c7d

  Copy full SHA for e926c7d

Commits on Jun 7, 2021

• [ fix ] preserves old HTML doc (#2) (#1517)

  gallais

  authored
  9070441

  Copy full SHA for 9070441

• [ actions ] move build & html doc deploy to actions (#1516)

  gallais

  authored
  0b9be77

  Copy full SHA for 0b9be77

Commits on Jun 3, 2021

• [ Improved fix #1510 ] Get rid of error, use throwError and die. (#1514)

  Show description for c9a67ca
  andreasabel

  authored
  c9a67ca

  Copy full SHA for c9a67ca

• [ cleanup ] use modules rather than long names (#1515)

  gallais

  authored
  d570667

  Copy full SHA for d570667

Commits on May 31, 2021

• [ Fix #1510 ] Prelude.last is jinxed, so use List1.last (#1512)

  andreasabel

  authored
  358ad8b

  Copy full SHA for 358ad8b

Commits on May 27, 2021

• Update documentation

  MatthewDaggitt

  committed
  2da3469

  Copy full SHA for 2da3469

• Updated the CHANGELOG in preparation for release candidate

  MatthewDaggitt

  committed
  128c8a1

  Copy full SHA for 128c8a1

• Merge branch 'experimental' into `master` in preparation for Agda 2.6.2

  MatthewDaggitt

  committed
  8c2b30c

  Copy full SHA for 8c2b30c

• Renamed new `Complete` list predicate to `IsEnumeration` (#1505)

  MatthewDaggitt

  authored
  2c214f8

  Copy full SHA for 2c214f8

Commits on May 26, 2021

• Merge pull request #1508 from jespercockx/no-sized-types-and-guardedness

  Show description for 8a82ba2
  jespercockx

  authored
  8a82ba2

  Copy full SHA for 8a82ba2

Pagination

Previous

Next