anchor.diff:   (jacobi-2d
     (jacobi-2d domain)))
   
  +;;; Finally, let's have a glimpse at the Petalisp intermediate
  +;;; representation of Jacobi's algorithm.
  +
  +(petalisp-dev:view
  + (first
  +  (petalisp-ir:ir-from-strided-arrays
  +   (list
  +    (jacobi-2d
  +     (jacobi-2d domain)))
  +   (petalisp-ir-backend:make-ir-backend))))
  
positive.code: 
  (in-package :petalisp-getting-started)
  
  (defun present (expression)
    (petalisp-dev:view expression)
    (format t "~%=> ~A~%~%" (compute expression)))
  
negative.code: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Petalisp Basics
  
  (present
   (reshape 0 '())) ; the empty space
  