theobat

Interested in type theory, haskell and a wide variety of other subjects.

Location:France, Marseille

Pinned Repositories

theobat's Repositories