Opinionated guide for designing, writing, reviewing, building, testing, and incrementally verifying modern Ada applications and libraries. Use for Ada 2022, GNAT, GPRbuild, Alire, AUnit, GNATcheck, GNATprove, SPARK, tasking, containers, controlled types, or C interoperability.
