RT @[email protected]

Contracts are a natural evolution of Ada’s core design principle, which encourages programmers to develop better code. Here's an introduction to contract-based programming in Ada - https://blog.adacore.com/the-case-for-contracts #Adaprogramming #contractprogramming #softwaredevelopment

🐦🔗: https://twitter.com/AdaCoreCompany/status/1252576197554429957