Galois, Inc - Galois Blog - Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot ↗Linkcorp.galois.comShared 11 December 2010corp.galois.com ↗