Janus Troelsen#neuhier I previously lived in Darmstadt, but now I live in Mexico. I participate in a Discord-based reading group for the Types and Programming Languages book, we just finished covering Simply Typed Lambda Calculus. If interesting, please let me know and I can help get you up to speed and you can join us.
crossgolf_rebel - kostenlose Kwalitätsposts
The network where so much more is possible than many people even realise
https://fediversum.info/
