argumentcomputer / yatima

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

flake.nix is broken #247

Closed johnchandlerburnham closed 1 year ago

johnchandlerburnham commented 1 year ago

When we removed yatima-rs we didn't update the flake.nix.

Probably the flake is outdated for many reasons