[acl2/acl2] f4fe3b: Reuse functions from nat-lists.lisp
0 views
Skip to first unread message
Stephen Westfold
Jun 27, 2026, 4:51:00 PM (9 hours ago) Jun 27
to acl2-...@googlegroups.com
Branch: refs/heads/remora-mono
Home: https://github.com/acl2/acl2
Commit: f4fe3bc4087aaf4d56815b6a46177ceec56767ae
https://github.com/acl2/acl2/commit/f4fe3bc4087aaf4d56815b6a46177ceec56767ae
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-06-27 (Sat, 27 Jun 2026)
Changed paths:
M books/kestrel/remora/monomorphize.lisp
Log Message:
-----------
Reuse functions from nat-lists.lisp
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: f4fe3bc4087aaf4d56815b6a46177ceec56767ae
https://github.com/acl2/acl2/commit/f4fe3bc4087aaf4d56815b6a46177ceec56767ae
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-06-27 (Sat, 27 Jun 2026)
Changed paths:
M books/kestrel/remora/monomorphize.lisp
Log Message:
-----------
Reuse functions from nat-lists.lisp
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Reply all
Reply to author
Forward
0 new messages