Yosh

Japan

Mainly playing with Haskell, sometimes Python, JavaScript and Coq, recently Rust as a hobby. Main editor : vim.

Top Answers