About

Stevan Andjelkovic's main area of expertise is haskell-library , and is also an expert on quickcheck and agda . Stevan Andjelkovic is recognized as Haskell-library Top-100Quickcheck Top-100, and Agda Top-100 . A Github user since 2013 , Stevan Andjelkovic is ranked as #183,399 globally .
Additional areas of expertise: property-based-testing, dependent-types, and Clojure