Post #3017413
2026-03-08 13:15 UTC
@miado@discuss.systems Cool work! The dialect reminds me a bit of this: https://arxiv.org/pdf/2201.07272 Though you obviously have a very different compilation target 😃
Replies (1)
-
@CanLehmann@mastodon.social 2026-03-08 13:20
@miado@discuss.systems I don't think they actually preserve ADTs (?), so its also obviously different in that way.