GitHub · Where software is built

Labels Milestones New issue

[ refactor ] rationalise the common APIs for <code>List</code> and <code>Vec</code> versions of <code>Data..Relation.Binary.Lex.</code>

#2687

· jamesmckinna opened

on Mar 28, 2025

·

Fragile <code>NonZero</code> and implementation-dependent luck

#2644

· JacquesCarette opened

on Mar 5, 2025

·

Redefine <code>Algebra.Consequences.Setoid.wlog</code>

#2626

· jamesmckinna opened

on Feb 27, 2025

·

[ refactor ] Definitions of <code>Relation.Binary.Apartness</code> and <code>Algebra..Heyting*</code>

#2587

· jamesmckinna opened

on Feb 18, 2025

·

Tidy up <code>Algebra.Definitions.RawMagma</code> (again), plus reconcile all the uses of <code>_,_</code> as a constructor

#2582

· jamesmckinna opened

on Feb 12, 2025

[ refactor ] Reconcile <code>Relation.Binary.Definitions.Adjoint</code> and <code>Function.Definitions.Inverse*</code>

#2581

· jamesmckinna opened

on Feb 10, 2025

[ refactor ] Fix/rationalise 'legacy' binder names in <code>Relation.Binary.Definitions</code> (and elsewhere?)

#2547

· jamesmckinna opened

on Jan 14, 2025

·

Inconvenient precedences

#2531

· JacquesCarette opened

on Dec 20, 2024

[DRY] Refactor algebraic properties of types

#2489

· jamesmckinna opened

on Oct 1, 2024

·

Find all single letter publicly-exported modules and make sure they are private

#2472

· MatthewDaggitt opened

on Sep 3, 2024

·

<code>Relation.Binary.Definitions._Respects₂_</code> seems to exchange 'left' and 'right' in its left/right projections?

#2471

· jamesmckinna opened

on Sep 2, 2024

·

Get rid of inconsistent <code>homo</code> name in algebra hierarchy?

#2458

· jamesmckinna opened

on Aug 15, 2024