From: ldo@nz.invalid   
      
   On Wed, 26 Mar 2025 18:43:36 -0400, Arne Vajhøj wrote:   
      
   > Ada has a lot of good features.   
      
   There’s a project called “SPARK” which is putting together a more   
   verifiable subset of Ada, with the aim of eventually including the   
   whole language.   
      
      
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)