argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel
MIT License
121 stars 9 forks source link

Refactor namespaces #202

Closed arthurpaulino closed 2 years ago

arthurpaulino commented 2 years ago

Remove a few things from the Ipld namespace and add them to the new IR namespace. There's also a new TC namespace