issues
search
AdaCore
/
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
62
stars
28
forks
source link
Update finalization proposal
#113
Closed
raph-amiard
closed
4 months ago