Eradicating unlawful Eq & Ord instances, crustacean style

atravers December 29, 2022, 10:09pm 9

Informal discussion about the progression of `base`

Topic		Replies	Views
Learning from the "No /= in Eq" debate	30	3512	November 22, 2021
{-# MINIMAL f, g \| () #-}? Learn	7	348	June 24, 2022
Internalised Guarded Recursion for Equational Reasoning Links	5	494	October 22, 2022
Applicative Logic Links	4	1004	October 2, 2024
[Paper] Quotient Haskell: Lightweight Quotient Types for All Links	0	1399	July 15, 2023