k-bx

Mostly Rust, Elm, Haskell, Agda, HoTT

Location:Kyiv, Ukraine

Pinned Repositories

k-bx's Repositories