A+B: Difference between revisions
Content added Content deleted
(update perl6) |
m (→{{header|SPARK}}: To get syntax colouring) |
||
Line 652:
=={{header|SPARK}}==
<lang Ada>-- By Jacob Sparre Andersen▼
▲-- By Jacob Sparre Andersen
-- Validates with SPARK GPL 2010's Examiner/Simplifier
|