[HN Gopher] Identity Types
       ___________________________________________________________________
        
       Identity Types
        
       Author : matt_d
       Score  : 31 points
       Date   : 2025-09-22 22:15 UTC (3 days ago)
        
 (HTM) web link (bartoszmilewski.com)
 (TXT) w3m dump (bartoszmilewski.com)
        
       | auggierose wrote:
       | > In traditional mathematics equality is treated as a relation.
       | Two things are either equal or not.
       | 
       | That sounds like the way to go. No (identity) types needed.
        
         | kazinator wrote:
         | [delayed]
        
       ___________________________________________________________________
       (page generated 2025-09-25 23:00 UTC)