{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiaarznnqoi5jccml4vhj6b5vorcjbezqp4pzruyj76uff2q45okka",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mim4oh7oe3u2"
  },
  "path": "/t/sabela-now-has-lean4-python-interop-and-interactive-widgets/13882#post_2",
  "publishedAt": "2026-04-03T15:26:54.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Wow, this is really cool and useful! I can think of ten ways I might use this.\n\nYou 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?)\n_____\n\nKeep up the amazing work! FRP is such a beautiful paradigm to lay over an FP core.",
  "title": "Sabela now has Lean4 + python interop and interactive widgets"
}