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