Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka, recently also elixir.
Currently finishing Bachelor's and writing Haskell for wire messenger.
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
| Following | Followers |
| 153 | 128 |