Purity inference - #32

Closed

bhansconnect wants to merge 5 commits into

mainfrom

purity-inference

Commits on Oct 23, 2024

update gitignore
bhansconnect
committed
6b1874d
update platform files to purity inference
bhansconnect
committed
9fb5172
update examples
bhansconnect
committed
07198e9
remove result from program api
bhansconnect
committed
3e1d1a2
remove W4.Program. Just directly pass functions
bhansconnect
committed
47ebd09