3 ms·
You’re correct that Mercury uses Haskell for its backend: https://serokell.io/blog/haskell-in-production-mercury https://serokell.io/blog/haskell-in-production-
by MaxGabriel 2y ago
You’re correct that Mercury uses Haskell for its backend: https://serokell.io/blog/haskell-in-production-mercury https://serokell.io/blog/haskell-in-production-mercury
- hiAndrewQuinn 2y agoHow could I forget Serokell, too! An Estonian software development firm that uses Haskell and Nix as basic building blocks. I think they were using Agda or something too for a while, but it appears I can't find what I'm thinking of on their site anymore. Really interesting guys if you're located in the Baltic states.