Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Works with Clojure. Plays with F#, Idris, Prolog, Elixir, Python and C.
Passionate about functional programming, but especially interested in dependently typed languages.
This user hasn't posted yet.