MangoIV
Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka.
Currently finishing Bachelor's and writing Haskell for industry.
Sometimes I build mechanical keyboards.
I am interested in discussions if the goal is to learn something, if you're just trying to persuade me, please leave me alone.
Currently finishing Bachelor's and writing Haskell for industry.
Sometimes I build mechanical keyboards.
I am interested in discussions if the goal is to learn something, if you're just trying to persuade me, please leave me alone.
Public Key
npub12g9xzdsv7et7yk7lxdc0gx5g57r2urghpaysmzlyzajwe6v3ulzqc3wjptNIP-05 Address
mangoiv_at_functional.cafe@mostr.pubProfile Code
nprofile1qqs9yznpxcx0v4lzt00nxu85r2y20p4wp5ts7jgd30jpwe8vaxg703qpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qzxrhwden5te0wfjkccte9ehx7umhdpjhyefwvdhk63awkvfPublishing to
relay.mostr.pub relay.mostr.pub
relay.noswhere.com relay.noswhere.com
relay.shitforce.one relay.shitforce.one
Author Public Key
npub12g9xzdsv7et7yk7lxdc0gx5g57r2urghpaysmzlyzajwe6v3ulzqc3wjpt