Skip to content

Simpler#7

Merged
inducer merged 72 commits into
mainfrom
simpler
Jul 14, 2026
Merged

Simpler#7
inducer merged 72 commits into
mainfrom
simpler

Conversation

@inducer

@inducer inducer commented Jul 2, 2026

Copy link
Copy Markdown
Owner

cc @a-alveyblanc

Builds on #5.

Closes #5.

a-alveyblanc and others added 30 commits December 19, 2025 02:46
@inducer inducer marked this pull request as ready for review July 14, 2026 19:57
@inducer inducer merged commit 0d1cb3e into main Jul 14, 2026
15 checks passed
@inducer inducer deleted the simpler branch July 14, 2026 19:57
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