(defun triangle(a b c &aux s)
(setf s (/ (+ a b c) 2.0))
(sqrt (* s (- s a) (- s b) (- s c))))