|
|
|
|
|
|
by hiAndrewQuinn
519 days ago
|
|
|
How 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. |
|
|