This project was instrumental in helping port over parser-c. I think there's a lot of potential in exploring what automated conversion from Haskell to Rust can do, given the similarities between their type systems and the richness of Haskell's ecosystem.
If you're interested in helping explore the space and contributing to Corollary, let me know in this thread. If there is sufficient interest, I'm open to moving this to a Github organization, radically restructuring how Corollary translates code, etc. Or feel free to use this as a template for your own transpiler!
This project was instrumental in helping port over parser-c. I think there's a lot of potential in exploring what automated conversion from Haskell to Rust can do, given the similarities between their type systems and the richness of Haskell's ecosystem.
If you're interested in helping explore the space and contributing to Corollary, let me know in this thread. If there is sufficient interest, I'm open to moving this to a Github organization, radically restructuring how Corollary translates code, etc. Or feel free to use this as a template for your own transpiler!