Functional Programming

Our expertise is based on a hands-on experience with functional paradigm application to the real world. From production ready languages like Scala, Erlang, Elm and Haskell and to the brink of current state of arts in the computer science, including static code verification with theorem provers.