Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 22, 2021

• Minor improvements to style guide (#1593)

  barrettj12

  authored
  4dee360

  Copy full SHA for 4dee360

Commits on Sep 21, 2021

• Add functions for rounding rationals to integers (#1585)

  Show description for 73f82b4
  barrettj12

  authored
  73f82b4

  Copy full SHA for 73f82b4

Commits on Sep 8, 2021

• Update HACKING to make clear that running the test suite locally is optional

  MatthewDaggitt

  committed
  bc324e6

  Copy full SHA for bc324e6

Commits on Sep 6, 2021

• Tried to clarify library registration step in installation guide

  MatthewDaggitt

  committed
  47d416c

  Copy full SHA for 47d416c

Commits on Sep 3, 2021

• Switch `Positive/Negative/etc.` to use irrelevant instance arguments (#1581)

  MatthewDaggitt

  authored
  be0b179

  Copy full SHA for be0b179

Commits on Aug 19, 2021

• Improved performance of `_div_` and `_mod_` for `ℤ` (#1573)

  MatthewDaggitt

  authored
  bfbb639

  Copy full SHA for bfbb639

Commits on Aug 13, 2021

• Tidy up `Data.Integer.Properties`: (#1576)

  Show description for 6fbd1a0
  MatthewDaggitt

  authored
  6fbd1a0

  Copy full SHA for 6fbd1a0

Commits on Aug 12, 2021

• Remove everything that was deprecated before v1.0 (#1569)

  MatthewDaggitt

  authored
  456930d

  Copy full SHA for 456930d

Commits on Aug 9, 2021

• Split Relation.Binary.Lattice out into standard hierarchy (#1571)

  Akshobhya1234

  authored
  faa5a3c

  Copy full SHA for faa5a3c

• Re-export `Algebra.Structures.Biased` from `Algebra` and tidy up (#1570)

  MatthewDaggitt

  authored
  c7ef61b

  Copy full SHA for c7ef61b

Commits on Aug 6, 2021

• Adapted proofs in `Data.Nat` and `Data.Integer` that used the old `suc` trick to use `NonZero` (#1567)

  MatthewDaggitt

  authored
  2ba4e01

  Copy full SHA for 2ba4e01

• Use `NonZero` instance arguments through `Data.Rational` (#1566)

  MatthewDaggitt

  authored
  3e64f6c

  Copy full SHA for 3e64f6c

Commits on Aug 2, 2021

• [ new ] GenerateEverything --include-deprecated flag (#1568)

  Show description for 48640ff
  laMudri

  authored
  48640ff

  Copy full SHA for 48640ff

• Data.List.Properties: rename zipWith-identity to zipWith-zero (#1563)

  Show description for 4d9e2b8
  

  Taneb

  and

  MatthewDaggitt

  authored
  4d9e2b8

  Copy full SHA for 4d9e2b8

• Change names of propositional proofs in Function.Construct.X (#1564)

  Akshobhya1234

  authored
  3431dcd

  Copy full SHA for 3431dcd

Commits on Jul 31, 2021

• Changed `_/_` and `_%_` to use irrelevant instance arguments for Nat and Integer (#1538)

  MatthewDaggitt

  authored
  ae33a51

  Copy full SHA for ae33a51

Commits on Jul 27, 2021

• Update `Function.Related` for the new function hierarchy (#1561)

  MatthewDaggitt

  authored
  27db795

  Copy full SHA for 27db795

Commits on Jul 26, 2021

• add 2 versions of equality of predicates (#1558)

  JacquesCarette

  authored
  db1acbf

  Copy full SHA for db1acbf

• Generalised ordering relations in `Fin` (#1559)

  MatthewDaggitt

  authored
  3d1a6f7

  Copy full SHA for 3d1a6f7

• polymorphic versions of empty and universal sets (#1557)

  JacquesCarette

  authored
  c7a170e

  Copy full SHA for c7a170e

• [ new ] Data.Default (#1556)

  gallais

  authored
  a6194d8

  Copy full SHA for a6194d8

• Define isLoop (#1554)

  Akshobhya1234

  authored
  00f354a

  Copy full SHA for 00f354a

Commits on Jul 20, 2021

• Add (Semi)Ring instances for `Algebra.Construct.DirectProduct` (#1551)

  mechvel

  authored
  0f00508

  Copy full SHA for 0f00508

Commits on Jul 19, 2021

• add `diagonal` and some properties about `Vec` (#1541)

  damhiya

  authored
  c005611

  Copy full SHA for c005611

Commits on Jul 14, 2021

• 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

Pagination

Previous

Next