feat: use captureStr#2

Open

fgdorais wants to merge 6 commits into

JamesGallicchio:mainfrom

fgdorais:capture

Commits on Dec 22, 2023

Commits on Dec 23, 2023

Add CI

JamesGallicchio
authored and
fgdorais
committed
fix: no mathlib cache :)

JamesGallicchio
authored and
fgdorais
committed
chore: cleanup old eval

JamesGallicchio
authored and
fgdorais
committed
fix: new capture functions
fgdorais
committed