Skip to content

Random Updates & Fixes - #117

Draft
PhilippvK wants to merge 4 commits into
coredsl2from
philippvk-updates
Draft

Random Updates & Fixes#117
PhilippvK wants to merge 4 commits into
coredsl2from
philippvk-updates

Conversation

@PhilippvK

Copy link
Copy Markdown
Member

No description provided.

@PhilippvK
PhilippvK requested a review from jokap11 August 5, 2026 07:42
@PhilippvK PhilippvK self-assigned this Aug 5, 2026
Comment thread m2isar/transforms/infer_types/visitor.py
@jokap11

jokap11 commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator

LGTM!

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