Mona_rcl@chaos.social

Mona_rcl@chaos.social

mona_rcl@chaos.social

theoretical computer scientist & functional programmer | into interactive theorem proving and haskell | she/her

👤 Visit Mona_rcls profile 👤 Mona_rcls Profil besuchen

✍️Write rieview ✍️Rezension schreiben 🏷️Get Badge! 🏷️Abzeichen holen! 📰News 📰Neuigkeiten

Tags: computer functional interactive programmer scientist theoretical

Rieviews

Bewertungen

🔝