Computer Things


        
              Back to the email
        
        
                            A
                        
                    
                                    anon
                                
                            
                        January 8, 2026, midnight
                    
                
Mathematically we would write this as all x: f.Pre(x) => f.Post(x)

Shouldn't it be all x: f.Pre(x) => f.Post(x, f(x))?
        
            
Reply
Report


                        You're not signed in. Posting this comment will subscribe you to this newsletter with the email address you enter below.