We specialise in type-driven software development using functional programming languages like Scala and Elm. If a program's state is well modelled by the type system, invalid state becomes impossible, and a lot of bugs simply can't happen!

Sounds interesting right? Email "hello" @ this domain and let's chat.