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