ualib/agda-algebras

Issues

• Install with cabal - Debian 11.3

  #229 opened 3 years ago by CoghettoR
  1

• 2.1 Definitions that might be unnecessary and possibly omitted

  #191 opened 3 years ago by williamdemeo
  4

• 2.3. type theory approach vs. set theory approach

  #192 opened 3 years ago by williamdemeo
  4

• Issues related to finding an algebra in S (P 𝒦) which is the domain of an epimorphism onto 𝑨

  #200 opened 3 years ago by williamdemeo
  4

• 1.3 Foundational choices and their influence on design/coding choices

  #190 opened 3 years ago by williamdemeo
  5

• documentation, setup, testing, etc.

  #98 opened 3 years ago by williamdemeo
  2

• Relation.Binary.Structures module of stdlib supports only homogeneous relations.

  #82 opened 3 years ago by williamdemeo
  4

• SetoidAlgebra with equivalence for tuples of elements of the algebra

  #64 opened 3 years ago by williamdemeo
  5

• See if Algebroids/Setoid can be simplified

  #48 opened 3 years ago by JacquesCarette
  0

• Split large files?

  #21 opened 3 years ago by JacquesCarette
  2

• On the need for "funext" in agda-algebras

  #19 opened 4 years ago by JacquesCarette
  4

• Deprecating `Σ x ꞉ A , B` syntax

  #11 opened 4 years ago by JacquesCarette
  4