lindy-labs/aegis

Parse .sierra.json files

javra opened this issue · 1 comments

javra commented

We can use Lean.Data.Json for that. This would have the advantage of not needing to add sierra-text = true to Scarb.toml files whever we want to gain a Sierra output that's usable in Aegis.

javra commented

Started pursuing that on the json branch