search

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
62 stars 28 forks source link

Fix typo #86

Closed yannickmoy closed 2 years ago