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
nprofile1qqs9yznpxcx0v4lzt00nxu85r2y20p4wp5ts7jgd30jpwe8vaxg703qpxm4s9Author Public Key
npub12g9xzdsv7et7yk7lxdc0gx5g57r2urghpaysmzlyzajwe6v3ulzqc3wjpt