Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 1, 2022

• fixed issue #602 for vectors, too (#1672)

  jamesmckinna

  authored
  8c5066b

  Copy full SHA for 8c5066b

• Tidy up CHANGELOG

  MatthewDaggitt

  committed
  b3bb7b4

  Copy full SHA for b3bb7b4

• Port reverse lemmas to `Data.Vec` (fixes #942) (#1668)

  jamesmckinna

  authored
  3f69cbe

  Copy full SHA for 3f69cbe

• Add new exponentiation operator to `Data.Integer` (fixes #490) (#1660)

  jamesmckinna

  authored
  1cf5302

  Copy full SHA for 1cf5302

Commits on Dec 29, 2021

• Add private variables in Nat directory (#1669)

  guilhermehas

  authored
  67bd9f6

  Copy full SHA for 67bd9f6

• Add insert to Data.Fin.Permutations as rough inverse to remove (#1665)

  Taneb

  authored
  acb2166

  Copy full SHA for acb2166

• Switch to new function hiearchy in several places (#1667)

  Taneb

  authored
  03490d1

  Copy full SHA for 03490d1

Commits on Dec 23, 2021

• Add definitions of compositeness (#1661)

  Taneb

  authored
  42d13fd

  Copy full SHA for 42d13fd

• Use `variable`s in `Data.Maybe.Categorical` (#1662)

  guilhermehas

  authored
  668f6d2

  Copy full SHA for 668f6d2

Commits on Dec 21, 2021

• Deprecate `reverse` in `Data.Fin.Permutation.Components` (#1650)

  Akshobhya1234

  authored
  13c3c6c

  Copy full SHA for 13c3c6c

• Add `cong!` tactic (#1658)

  TOTBWF

  authored
  a0f3343

  Copy full SHA for a0f3343

• Fixed #1646 and added more proofs to `Data.Rational.Unnormalised.Properties` (#1654)

  MatthewDaggitt

  authored
  416904e

  Copy full SHA for 416904e

• Add `(run/eval/exec)State` to `Monad.State`

  jamesmckinna

  authored
  c8274d5

  Copy full SHA for c8274d5

• Improved HACKING.md on setting up agda-stdlib for a first contribution (#1652)

  gallais

  authored
  4eb2cec

  Copy full SHA for 4eb2cec

Commits on Dec 16, 2021

• Add `n≮0` to `Data.Nat.Properties`

  jamesmckinna

  authored
  fb1d6f4

  Copy full SHA for fb1d6f4

Commits on Dec 15, 2021

• Add Quasigroup and Loop morphisms (#1647)

  Akshobhya1234

  authored
  1a91258

  Copy full SHA for 1a91258

Commits on Dec 12, 2021

• Add alpha equality over reflected terms and used it to support `_-_` in `Tactic.RingSolver` (#1644)

  MatthewDaggitt

  authored
  e84b83c

  Copy full SHA for e84b83c

• Fix definition of Prime in `Algebra.Definitions.RawSemiring` (#1639)

  Akshobhya1234

  authored
  9e0337c

  Copy full SHA for 9e0337c

• fixed Issue #602 (#1648)

  jamesmckinna

  authored
  7be3a9b

  Copy full SHA for 7be3a9b

Commits on Dec 7, 2021

• Added interchange property for commutative semigroups (#1637)

  MatthewDaggitt

  authored
  e023b9c

  Copy full SHA for e023b9c

• Rename Quasigroup, Loop and define as in Universal algebra (#1634)

  Akshobhya1234

  authored
  3028549

  Copy full SHA for 3028549

Commits on Dec 5, 2021

• Fix uses of operators that normalise in reflective interface for ring solver (#1641)

  Show description for beb280e
  MatthewDaggitt

  authored
  beb280e

  Copy full SHA for beb280e

Commits on Dec 2, 2021

• Fix implicit arguments in +-distrib-/-∣ʳ (#1638)

  tonyxty

  authored
  0a43bc1

  Copy full SHA for 0a43bc1

Commits on Nov 29, 2021

• Create `Algebra.Module` summary module (#1633)

  Akshobhya1234

  authored
  ed8efad

  Copy full SHA for ed8efad

Commits on Nov 27, 2021

• Move Relation.Binary.Properties.XLattice to Relation.Binary.Lattice.Properties.XLattice (#1631)

  Akshobhya1234

  authored
  a333347

  Copy full SHA for a333347

Commits on Nov 20, 2021

• Pull lattice-like structures out of Algebra, into Algebra.Lattice (#1108)

  laMudri

  authored
  69c808f

  Copy full SHA for 69c808f

• Data.List.Fresh.NonEmpty (#1624)

  fangyi-zhou

  authored
  5ac8015

  Copy full SHA for 5ac8015

• Added Fin/function isomorphism (#1613)

  conal

  authored
  9315159

  Copy full SHA for 9315159

• Added associativity for vectors using pointwise-equality (#1621)

  sergey-goncharov

  authored
  df4910b

  Copy full SHA for df4910b

• Bump cabal file package upper bounds and switch back to Cabal v1-install (#1622)

  MatthewDaggitt

  authored
  8308d12

  Copy full SHA for 8308d12

Commits on Nov 1, 2021

• Make J universe-polymorphic on A (#1616)

  flupe

  authored
  5df4931

  Copy full SHA for 5df4931

Commits on Oct 26, 2021

• Add some monad operations to `Equivalence` and `Symmetric` in `Relation.Binary.Construct.Closure` (#1612)

  bafain

  authored
  9cb8a1e

  Copy full SHA for 9cb8a1e

Commits on Oct 25, 2021

• Add equality for the interaction of sym and cong (#1611)

  isti115

  authored
  166e866

  Copy full SHA for 166e866

Commits on Oct 22, 2021

• Morphisms for module-like structures (#1604)

  Taneb

  authored
  860f51a

  Copy full SHA for 860f51a

• Add convenience definitions for equality between pairs from pair of equalities (#1601)

  Show description for dd20869
  bafain

  authored
  dd20869

  Copy full SHA for dd20869

Pagination

Previous

Next