We are a small team of Scala engineers who care about rigor and proving our code correct. We use advanced functional tools and techniques to ship reliable, rot-proof software. Presently that includes things like scalaz, generic type-level programmin…