Skip to content

fix various issues#104

Open
NOOBDY wants to merge 3 commits intoscmlab:mainfrom
NOOBDY:typechecker-rewrite
Open

fix various issues#104
NOOBDY wants to merge 3 commits intoscmlab:mainfrom
NOOBDY:typechecker-rewrite

Conversation

@NOOBDY
Copy link
Copy Markdown
Collaborator

@NOOBDY NOOBDY commented Mar 31, 2026

No description provided.

@NOOBDY NOOBDY changed the title fix missing subst in case fix various issues Apr 1, 2026
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.

1 participant