[WIP][easy] remove in_checked_computation (unused)

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

496 stars 74 forks source link

[WIP][easy] remove in_checked_computation (unused) #767

Closed mimoo closed 1 year ago

mimoo commented 1 year ago

cc @mitschabaude you said this is unused in snarkyjs right?

mitschabaude commented 1 year ago

no I meant it is not necessary and can be easily refactored away :D It might be used in some places still, I can help with removing it when you're doing the Mina PR

github-actions[bot] commented 1 year ago

Stale pull request message

github-actions[bot] commented 1 year ago

Stale pull request message