Michał Krzysztof Feiler

An Informatics undergrad first-year who used to like Go, then Clojure, after LiquidHaskell heading Rust,C,Nim,Coq,Lean. @UAMPoznań