Haskell Community
Eradicating unlawful Eq & Ord instances, crustacean style
atravers
December 29, 2022, 10:09pm
9
PartialEq in std::cmp - Rust
PartialOrd in std::cmp - Rust
Informal discussion about the progression of `base`
show post in topic
Related topics
Topic
Replies
Views
Activity
What is the relation between type classes, laws that they should follow and mathematical properties?
Learn
10
627
August 20, 2024
Lawful-classes-*
Announcements
0
598
February 2, 2023
Checking numbers for equality and different type signatures
4
1970
September 25, 2022
After `{-# OVERLAPPING #-}` comes `{-# INCOHERENT #-}`, but why?
20
1275
June 15, 2022
Why are Partial Functions so prevalent in Prelude?
Learn
29
3207
February 29, 2024