PhD Student at Tallinn University of Technology. Learning about type theory. Chasing the diagrams. {love, marry, debug} ≃ {Agda, Rust, Nix}.
👤 Visit Phijors profile 👤 Phijors Profil besuchen
✍️Write rieview ✍️Rezension schreiben 🏷️Get Badge! 🏷️Abzeichen holen!
Tags: diagrams learning technology university
Be the first oneand write a rieviewabout phijor@types.pl. Sein Sie der ersteund schreiben Sie eine Rezensionüber phijor@types.pl.
🔝