- Ukraine, Kyiv
Piotr Paradziński
lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
Lublin