Michał Krzysztof Feiler

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