Skip to content

Use witty - #21

Merged
funkey merged 14 commits into
funkey:masterfrom
tlambert03:use-witty
Sep 18, 2025
Merged

Use witty#21
funkey merged 14 commits into
funkey:masterfrom
tlambert03:use-witty

Conversation

@tlambert03

@tlambert03 tlambert03 commented Aug 15, 2025

Copy link
Copy Markdown
Contributor

to be merged after #20 ... this uses witty for the dynamic compilation. It also requires a bugfix in witty: funkelab/witty#12

@funkey
funkey merged commit a0184d2 into funkey:master Sep 18, 2025
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