← All repos

AdaCore/ada-spark-rfcs

View on GitHub ↗ ★ 70

Platform to submit RFCs for the Ada & SPARK languages

6 mentions on Hacker News by 6 people: 0 stories, 6 comments · first 2021-10-13 · latest 2026-08-03