Looks cool! Is there any relation to this area: "Type-constrained code generation with language models"? https://news.ycombinator.com/item?id=43978357 https://n

Looks cool! Is there any relation to this area: "Type-constrained code generation with language models"? https://news.ycombinator.com/item?id=43978357 https://news.ycombinator.com/item?id=43978357