[acl2/acl2] d2f9d4: [remora] update min-arities to match changes in Ha...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: d2f9d407014f603241861a268614d327d84c7347
https://github.com/acl2/acl2/commit/d2f9d407014f603241861a268614d327d84c7347
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-09 (Thu, 09 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp

Log Message:
-----------
[remora] update min-arities to match changes in Haskell Remora parser



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