Sabela now has Lean4 + python interop and interactive widgets

Wow, this is really cool and useful! I can think of ten ways I might use this.

You should check out Chris Done’s Hell if you end up wanting to wire in a really robust execution model that strikes a good balance between Haskell and bash. I’m also reminded of MicroHaskell (is that what it’s called?)

Keep up the amazing work! FRP is such a beautiful paradigm to lay over an FP core.