Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 18, 2022

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

  capn-freako

  committed
  316b098

  Copy full SHA for 316b098

Commits on Sep 17, 2022

• Update old reference to `Category` in CHANGELOG.md (#1824)

  Show description for ebfb881
  jamesmckinna

  authored
  ebfb881

  Copy full SHA for ebfb881

• [ fix #588 ] More uniform naming conventions for lookup functons (#1821)

  gallais

  authored
  93f5adb

  Copy full SHA for 93f5adb

• Add `flip′` to `Function.Base` (#1812)

  XiaohuWang0921

  authored
  059b124

  Copy full SHA for 059b124

Commits on Sep 12, 2022

• Added contributions guidelines to HACKING.md

  MatthewDaggitt

  committed
  6fb5774

  Copy full SHA for 6fb5774

• Fix doc typo in `README.Data.List.Membership` (#1813)

  ahubers

  authored
  2068146

  Copy full SHA for 2068146

Commits on Aug 31, 2022

• Change some dependencies to use the new function hierarchy (#1808)

  5xy1

  authored
  3bda172

  Copy full SHA for 3bda172

Commits on Aug 30, 2022

• Use superscript and add missing fixity (#1807)

  Akshobhya1234

  authored
  f9429d6

  Copy full SHA for f9429d6

• Added a new ≤-Induction (#1798)

  guilhermehas

  authored
  9daa86c

  Copy full SHA for 9daa86c

• Add IO.Base.untilRight (#1802)

  Lysxia

  authored
  db205ce

  Copy full SHA for db205ce

• Added missing greater-than rational decision procedures (#1806)

  MatthewDaggitt

  authored
  f0b67e9

  Copy full SHA for f0b67e9

Commits on Aug 25, 2022

• Add proof Quasigroup is cancellative (#1803)

  Akshobhya1234

  authored
  be7eea9

  Copy full SHA for be7eea9

• Add proofs for MoufangLoop (#1797)

  Akshobhya1234

  authored
  dbe35de

  Copy full SHA for dbe35de

Commits on Aug 24, 2022

• Define direct products for further magmas (#1799)

  Akshobhya1234

  authored
  74590b3

  Copy full SHA for 74590b3

• [ fix ] always insist on installing cabal & ghc (#1805)

  gallais

  authored
  3b638e9

  Copy full SHA for 3b638e9

Commits on Aug 17, 2022

• Define nonAssociativeRing (#1795)

  Akshobhya1234

  authored
  d6d6087

  Copy full SHA for d6d6087

• Additional DivMod proofs. (#1793)

  uncle-betty

  authored
  2e54c19

  Copy full SHA for 2e54c19

Commits on Aug 13, 2022

• Add Kleene algebras (#1773)

  Akshobhya1234

  authored
  ecbb764

  Copy full SHA for ecbb764

Commits on Aug 5, 2022

• Add proofs in Algebra.Properties.<Ring/Semigroup> (#1794)

  Akshobhya1234

  authored
  8ffc4cc

  Copy full SHA for 8ffc4cc

• Fix issue #1778 by exposing container combinator conversion functions (#1790)

  KislyjKisel

  authored
  aed8dff

  Copy full SHA for aed8dff

Commits on Aug 4, 2022

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

  capn-freako

  committed
  b045c55

  Copy full SHA for b045c55

Commits on Aug 1, 2022

• Additional proofs in `Properties.CommutativeSemigroup` and `Properties.Semigroup` (#1785)

  Akshobhya1234

  authored
  d5ecb05

  Copy full SHA for d5ecb05

Commits on Jul 25, 2022

• Fixed whitespace errors. (#1791)

  capn-freako

  authored
  24daf13

  Copy full SHA for 24daf13

• [ admin ] .gitignore additions. (#1792)

  capn-freako

  authored
  8de157f

  Copy full SHA for 8de157f

Commits on Jul 24, 2022

• A couple of Vec properties (#1788)

  Taneb

  authored
  afd5b73

  Copy full SHA for afd5b73

Commits on Jul 20, 2022

• Merge branch 'master' of github.com:capn-freako/agda-stdlib

  Show description for 0ad8e72
  capn-freako

  committed
  0ad8e72

  Copy full SHA for 0ad8e72

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

  Show description for 63aec07
  capn-freako

  committed
  63aec07

  Copy full SHA for 63aec07

• Add log base 2 functions and properties over `Nat` (#1782)

  bolt12

  authored
  3914bc0

  Copy full SHA for 3914bc0

• Adding useful isomorphisms about `Fin` and `Vec.Recursive` (#1786)

  guilhermehas

  authored
  902226a

  Copy full SHA for 902226a

• Proofs of some linearity axioms. (#1767)

  capn-freako

  authored
  5054d88

  Copy full SHA for 5054d88

Commits on Jul 19, 2022

• Tweak to CHANGELOG

  MatthewDaggitt

  authored
  be44f32

  Copy full SHA for be44f32

• Responding to Matthew`s final requests.

  capn-freako

  committed
  b6da4e9

  Copy full SHA for b6da4e9

Commits on Jul 18, 2022

• Make `Map` public in `Data.Tree.AVL.Indexed` (#1779)

  KislyjKisel

  authored
  d9a3aec

  Copy full SHA for d9a3aec

Commits on Jul 16, 2022

• Responding to additional requests from Matthew.

  capn-freako

  committed
  aec2203

  Copy full SHA for aec2203

• Define additional types of Magma and Loop (#1777)

  Akshobhya1234

  authored
  3ce8ce4

  Copy full SHA for 3ce8ce4

Pagination

Previous

Next