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