Works with Clojure. Plays with F#, Idris, Prolog, Elixir, Python and C. Passionate about functional programming, and especially interested in dependently typed languages.
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
AutobiographerSep 16 '16
This user hasn’t posted yet.
Top network postsView all network posts