[anqurvanillapy]

And then? https://github.com/anqurvanillapy/TinyLean

[fithisux]

Very very interesting for me. I always wanted to do something similar for Maude in Golang (Python is not a bad choice).

Currently my focus is on data engineering, but I can use it as an inspiration.

I talked about C3 to C translator, this is what I said start small.