Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 28, 2020

• Add more `Fin` properties (#1217)

  EdNutting

  authored
  979c065

  Copy full SHA for 979c065

• New implementation of typeError printf (#1236)

  Show description for ac77b6f
  UlfNorell

  authored
  ac77b6f

  Copy full SHA for ac77b6f

• Add `Data.Vec.Functional` operations and properties (#1241)

  calintat

  authored
  9593409

  Copy full SHA for 9593409

Commits on Jun 22, 2020

• Add composition in Relation.Binary.Construct (#1240)

  calintat

  authored
  540437c

  Copy full SHA for 540437c

Commits on Jun 17, 2020

• Generalize printf (#1235)

  UlfNorell

  authored
  b4dc8bd

  Copy full SHA for b4dc8bd

Commits on Jun 15, 2020

• Expose *-zero in Data.Rational.Properties (#1232)

  rwe

  authored
  3c0ccef

  Copy full SHA for 3c0ccef

Commits on Jun 11, 2020

• Move `≤-pred` to Data.Nat.Properties.Base (#1225)

  JacquesCarette

  authored
  eeb7319

  Copy full SHA for eeb7319

• [ new ] alternative closure operator (#1088)

  gallais

  authored
  3442f21

  Copy full SHA for 3442f21

• Adding properties on unnormalised rationals (#1218)

  flupe

  authored
  5bef980

  Copy full SHA for 5bef980

Commits on Jun 8, 2020

• Fixed typo in style guide

  MatthewDaggitt

  committed
  a79fa50

  Copy full SHA for a79fa50

• added `Morphism` definition to Function.Core (#1213)

  pnlph

  authored
  636c09d

  Copy full SHA for 636c09d

Commits on Jun 6, 2020

• Add Symmetry relations for Inverse (& friends) and IsEquivalence bundles (#1208)

  JacquesCarette

  authored
  7d9f890

  Copy full SHA for 7d9f890

• Move `Rational.Unnormalised` to `Rational.Unnormalised.Base` (#1215)

  MatthewDaggitt

  authored
  6a20f9f

  Copy full SHA for 6a20f9f

• Deprecate *-+- numeric proofs in favour of +-*- (#1216)

  MatthewDaggitt

  authored
  5a4dece

  Copy full SHA for 5a4dece

Commits on May 29, 2020

• Merge pull request #1222 from EdNutting/fix-whitespace

  Show description for 68eb743
  L-TChen

  authored
  68eb743

  Copy full SHA for 68eb743

Commits on May 28, 2020

• INLINE function combinators (#1221)

  Show description for 80e6710
  UlfNorell

  authored
  80e6710

  Copy full SHA for 80e6710

• Update `fix-whitespace.yaml` to match new `fix-whitespace` program version

  Show description for 82e4762
  

  Ed Nutting

  committed
  82e4762

  Copy full SHA for 82e4762

Commits on May 26, 2020

• Updated style guide according to discussion in #1133

  MatthewDaggitt

  committed
  1198e33

  Copy full SHA for 1198e33

• Add `+-*-commutativeRing` structure to `Data.Rational` (ℚ) via ℚᵘ (#1212)

  rwe

  authored
  c8cae98

  Copy full SHA for c8cae98

• Decidablity of dependent products (#1211)

  alexarice

  authored
  10a4d2f

  Copy full SHA for 10a4d2f

Commits on May 21, 2020

• Hide `n` argument in Tactic.RingSolver.NonReflective._⊜_ (#1149)

  dylanede

  authored
  beaa3f2

  Copy full SHA for beaa3f2

• [ fix ] whitespace violation

  gallais

  committed
  912c3b9

  Copy full SHA for 912c3b9

Commits on May 20, 2020

• Polymorphic unit and empty rethink (#1204)

  JacquesCarette

  authored
  1f68cfe

  Copy full SHA for 1f68cfe

• Split Relation.Binary.PropositionalEquality into finer grained pieces that can be used internally to lower the weight of dragging in all of R.B.PE. (#1196)

  JacquesCarette

  authored
  acdad6c

  Copy full SHA for acdad6c

• Update installation-guide.md (#1207)

  pnlph

  authored
  644fafe

  Copy full SHA for 644fafe

Commits on May 11, 2020

• Make \prime apostrophe usage consistent (change to prime) (part 2, local identifiers) (#1205)

  Show description for 041fd89
  elsanussi-s-mneina

  authored
  041fd89

  Copy full SHA for 041fd89

• Deprecate _∷ʳ'_ (both versions) and decidable' functions in favour of version ending in prime. (#1202)

  elsanussi-s-mneina

  authored
  2d6e7d5

  Copy full SHA for 2d6e7d5

• Fix 2 incorrect deprecation warnings in `Data.Nat.Properties` (#1201)

  elsanussi-s-mneina

  authored
  07f1860

  Copy full SHA for 07f1860

• Update .gitignore (2 entries added) (#1200)

  elsanussi-s-mneina

  authored
  a76aa80

  Copy full SHA for a76aa80

Commits on May 10, 2020

• [ fix #360 ] algebraic structures preserved via equivalence (#928)

  gallais

  authored
  9bf441f

  Copy full SHA for 9bf441f

• Added `cartesianProduct` function for lists (#1164)

  MatthewDaggitt

  authored
  2c04917

  Copy full SHA for 2c04917

Commits on May 9, 2020

• Added pseudo-deprecation warnings to old function infrastructure (#1188)

  MatthewDaggitt

  authored
  f4105be

  Copy full SHA for f4105be

Commits on May 7, 2020

• [ fix ] whitespace violation

  gallais

  committed
  6cdf9f0

  Copy full SHA for 6cdf9f0

• Added `Data.List.Relation.Unary.Sorted` (#1177)

  MatthewDaggitt

  authored
  36a76be

  Copy full SHA for 36a76be

• Updated the documentation for the record hierarchies (#1178)

  MatthewDaggitt

  authored
  387c848

  Copy full SHA for 387c848

Pagination

Previous

Next