Skip to content

fix Example 58.7 typo - #429

Merged
rzach merged 1 commit into
OpenLogicProject:masterfrom
astrophysik:master
Aug 14, 2026
Merged

fix Example 58.7 typo#429
rzach merged 1 commit into
OpenLogicProject:masterfrom
astrophysik:master

Conversation

@astrophysik

@astrophysik astrophysik commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

Fix typo in bhk interpretation for Example 58.7

@astrophysik astrophysik changed the title fix bhk-interpretation typo fix Example 58.7 typo Jul 2, 2026
@rzach
rzach merged commit 5a4f9c2 into OpenLogicProject:master Aug 14, 2026
@rzach

rzach commented Aug 14, 2026

Copy link
Copy Markdown
Member

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants