issues
search
AdaCore
/
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
63
stars
28
forks
source link
Expanded proposals following further discussions.
#39
Closed
QuentinOchem
closed
4 years ago