Compound data type: Difference between revisions
Added 11l
Alextretyak (talk | contribs) (Added 11l) |
|||
Line 16:
{{Template:See also lists}}
<br><br>
=={{header|11l}}==
<lang 11l>T Point
Int x
Int y
F (x, y)
.x = x
.y = y</lang>
=={{header|ACL2}}==
|