Skip to content

JavaToLaurel: emit a procedure (not a function) for @Pure methods - #461

Draft
tautschnig wants to merge 1 commit into
strata-org:mainfrom
tautschnig:jverify-pure-as-procedure
Draft

JavaToLaurel: emit a procedure (not a function) for @Pure methods#461
tautschnig wants to merge 1 commit into
strata-org:mainfrom
tautschnig:jverify-pure-as-procedure

JavaToLaurel: emit a procedure (not a function) for @Pure methods

8fcb164
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
checks (windows-2022)
failed Jul 2, 2026 in 21m 42s