idris top 100

Global rank

# 566,571

Topics of expertise

idris
functio...
Haskell

Github followers

4

Github username

marcesquerra

Location

None

About

Marc Esquerrà's main area of expertise is idris , and is also an expert on functional-programming and Haskell . Marc Esquerrà is recognized as and Idris Top-100 . A Github user since 2012 , Marc Esquerrà is ranked as #566,571 globally .

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.