[HN Gopher] Dependent Types and the Art of HTTP Headers
       ___________________________________________________________________
        
       Dependent Types and the Art of HTTP Headers
        
       Author : todsacerdoti
       Score  : 14 points
       Date   : 2024-11-28 07:42 UTC (15 hours ago)
        
 (HTM) web link (www.unwoundstack.com)
 (TXT) w3m dump (www.unwoundstack.com)
        
       ___________________________________________________________________
       (page generated 2024-11-28 23:01 UTC)