Post #3017418
2026-03-08 18:19 UTC
@miado@discuss.systems It would be really cool to be able to lower to both LLVM and CIRCT Core dialects from a single lambda calculus IR though.
I am not involved with CIRCT though, the last time I experimented with it it still seemed a bit too early for my applications, so 🤷
Replies (1)
-
@miado@discuss.systems 2026-03-08 18:25
@CanLehmann@mastodon.social I mean there's already an existing pipeline that goes from the core dialects to LLVM IR through arcilator, so in theory this dialect can be used for that too, and as I briefly mentioned in the paper, `lc` can also very much be used to encode software, so if someone wants to they could pretty straightforwardly write a direct lowering to LLVM IR