[acl2/acl2] c84843: [remora] remove `shape :dim`

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: c84843866f6cbf0ea36bd4c61a0e978aa6522b3f
https://github.com/acl2/acl2/commit/c84843866f6cbf0ea36bd4c61a0e978aa6522b3f
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-core.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/desugaring.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/ispace-equivalence.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/variable-renaming-operations.lisp
M books/kestrel/remora/variable-substitution-operations.lisp

Log Message:
-----------
[remora] remove `shape :dim`



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Eric McCarthy]

Branch: refs/heads/master

[Eric McCarthy]

Branch: refs/heads/testing