Skip to content

Correct definition of R7RS define-record-type#7

Open
dpk wants to merge 1 commit intoashinn:masterfrom
dpk:patch-1
Open

Correct definition of R7RS define-record-type#7
dpk wants to merge 1 commit intoashinn:masterfrom
dpk:patch-1

Commits

Commits on Aug 27, 2023