Mangoiv@functional.cafe
Mangoiv@functional.cafe
mangoiv@functional.cafe
Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka, recently also elixir. 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. I will post in English and will occasionally boost German (network-)politics related things. he/him is fine
