Code

Add some "verified" implementations#4848

Code

Open

nickdrozd wants to merge 11 commits intoidris-lang:masteridris-lang/Idris-dev:masterfrom nickdrozd:implementationsnickdrozd/Idris-dev:implementationsCopy head branch name to clipboard

+829-392

Commits

Commits on May 24, 2020

• Move Verified implementations to new file

  Show description for a986736
  nickdrozd

  committed
  a986736

• Add some verified implementations

  nickdrozd

  committed
  2f1610e

• Add Complex implementations

  nickdrozd

  committed
  4b4ac82

• Cut useless implementation labels

  nickdrozd

  committed
  be6621e

• Implement interfaces for Sign

  nickdrozd

  committed
  33bbca4

• Move verified algebra interfaces to Control.Algebra

  Show description for c0392c9
  nickdrozd

  committed
  c0392c9

• Add GroupHomomorphism

  nickdrozd

  committed
  d5475b4

• Add CyclicGroup

  Show description for 8872ba4
  nickdrozd

  committed
  8872ba4

• Make all abelian groups verified

  Show description for 602c5d2
  nickdrozd

  committed
  602c5d2

• Add direct product implementations

  nickdrozd

  committed
  feedb9a

• Add neutral product laws

  nickdrozd

  committed
  0fd6d50