Anonymous user
Category:SPARK: Difference between revisions
m
"Ada" tag should be "ada".
m (Added Ada language tag) |
m ("Ada" tag should be "ada".) |
||
Line 1:
{{language|SPARK
|tags=
|exec=machine
|gc=allowed
|