[acl2/acl2] 12bf5d: [remora] add Wadler-style pretty printer and round...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 12bf5dc307e987281e2d9c4d3088f20290a41559
https://github.com/acl2/acl2/commit/12bf5dc307e987281e2d9c4d3088f20290a41559
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-03 (Sun, 03 May 2026)

Changed paths:
M books/kestrel/remora/parse-directory-files.lisp
A books/kestrel/remora/printer.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
[remora] add Wadler-style pretty printer and round-trip tests



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