Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
tutorials:beginner:high_level_plans [2022/03/15 13:27] – [Defining inference rules for designators] schimpf | tutorials:beginner:high_level_plans [2022/03/15 13:29] (current) – [Writing the plans] schimpf | ||
---|---|---|---|
Line 176: | Line 176: | ||
(in-package :tut) | (in-package :tut) | ||
- | (defun draw-house () | + | (defun draw-house (&key ((:shape ?shape)) |
+ | & | ||
+ | (declare (type (or keyword) ?shape)) | ||
(with-fields (x y) | (with-fields (x y) | ||
(value *turtle-pose*) | (value *turtle-pose*) | ||
Line 187: | Line 189: | ||
(exe: | (exe: | ||
- | (defun draw-simple-shape (vertices) | + | (defun draw-simple-shape (&key |
+ | ((:vertices | ||
+ | & | ||
+ | (declare (type (or list null) ?vertices)) | ||
(mapcar | (mapcar | ||
| | ||
| | ||
- | | + | ?vertices)) |
(defun navigate-without-pen (?target) | (defun navigate-without-pen (?target) | ||
Line 198: | Line 204: | ||
(exe: | (exe: | ||
- | (defun navigate (?v) | + | (defun navigate (&key ((: |
- | (exe: | + | & |
+ | (declare (type (or list null) ?target)) | ||
+ | (exe: | ||
</ | </ | ||