5 ms·
Verified pre and post conditions would be nice. Especially in the era of LLM's, which can usually fill in the implementation given a sufficiently clear specific
by smaddox 2y ago
Verified pre and post conditions would be nice. Especially in the era of LLM's, which can usually fill in the implementation given a sufficiently clear specification.
- 082349872349872 2y agoEiffel is also well over 24 years old (but Albatross is more recent)