Jump to content

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,481

edits

Cookies help us deliver our services. By using our services, you agree to our use of cookies.