Piotr Paradziński@lemastero 
Scala Developer at @ScalaConsultants ❤️ Scala, Haskell, Idris, Category/Type Theory, Formal methods
category-theory top 100 programming-languages top 100 algebraic-effects top 100

Expertise

Global rank

# 78,385

Location

Lublin
Languages
idris
agda
scalajs
coq
Scala
CSS
Haskell
TeX
OCaml
Topics
categor...
program...
algebra...
h2-data...
scalaz
scala-n...
concurr...
zio
http4s
asynchr...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.