Skip to content

Instantly share code, notes, and snippets.

@tetsu-miyagawa

tetsu-miyagawa/CTMCP-Section2.9-4-b-2.oz

Created November 17, 2015 14:12
Show Gist options
  • Save tetsu-miyagawa/4e67a64593dce5c3ad50 to your computer and use it in GitHub Desktop.
Save tetsu-miyagawa/4e67a64593dce5c3ad50 to your computer and use it in GitHub Desktop.
Download ZIP
CTMCP Section 2.9 Exercise 4 (b) 2
Raw
CTMCP-Section2.9-4-b-2.oz
local X in
X=person(name:"George" age:25)
if {Label X}==person andthen {Arity X}.2.1==name andthen X.name=="George" then {Browse X.age}
else {Browse false}
end
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment