Search results

Install with cabal - Debian 11.3

Status: Open.

#229 In ualib/agda-algebras;

· ghost opened on May 27, 2022

2.1 Definitions that might be unnecessary and possibly omitted

paper revisions

Status: Open.

#191 In ualib/agda-algebras;

· williamdemeo opened on Apr 24, 2022

1.3 Foundational choices and their influence on design/coding choices

paper revisions

Status: Open.

#190 In ualib/agda-algebras;

· williamdemeo opened on Apr 24, 2022

SetoidAlgebra with equivalence for tuples of elements of the algebra

Status: Open.

#64 In ualib/agda-algebras;

· williamdemeo opened on Jul 11, 2021

See if Algebroids/Setoid can be simplified

Status: Open.

#48 In ualib/agda-algebras;

· JacquesCarette opened on Jul 2, 2021

On the need for "funext" in agda-algebras

Status: Open.

#19 In ualib/agda-algebras;

· JacquesCarette opened on May 19, 2021