GitHub · Where software is built

Labels Milestones New issue

[ add ] Definition, consequences, properties, structures, and bundles for <code>Algebra.*</code>s with the 'no zero divisors' property

#2554

· jamesmckinna opened

on Jan 16, 2025

Rename <code>Data.List.Properties.*-is-foldr</code>

#2516

· jamesmckinna opened

on Dec 11, 2024

·

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

#2458

· jamesmckinna opened

on Aug 15, 2024

Style for lower/upper case for initial letter in denotations

#2417

· mechvel opened

on Jun 23, 2024

Rename <code>WeaklyDecidable</code>?

#2404

· jamesmckinna opened

on Jun 9, 2024

Consistently add the equality after <code>resp</code> in proof names.

#2341

· mechvel opened

on Apr 2, 2024

Naming inversion principles for (one-constructor) <code>data</code>types

#2155

· jamesmckinna opened

on Oct 16, 2023

names of things (vol. 94): <code>Relation.Nullary.Reflects</code>

#2058

· jamesmckinna opened

on Aug 15, 2023

·

BoundedLattice is a poor match with Algebra.Lattice

#1905

· Taneb opened

on Jan 11, 2023

Operator symbols should match relations symbols (in lattices)

#1664

· andreasabel opened

on Dec 20, 2021

Inconsistent naming between <code>Data.(Nat/Integer).Properties</code>

#1579

· MatthewDaggitt opened

on Aug 12, 2021

·

confusion with the <code>reflexive</code> word

status: won't-fix

#1401

· mechvel opened

on Jan 17, 2021

·

hypothetical-rewrite