Compound data type: Difference between revisions

Added 11l
(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}}==
1,480

edits