RosettaCodeData/Task/Function-definition/ACL2/function-definition.acl2

2 lines
31 B
Text
Raw Permalink Normal View History

2013-04-10 21:29:02 -07:00
(defun multiply (a b) (* a b))