Phijor@types.pl
Phijor@types.pl
phijor@types.pl
PhD Student at Tallinn University of Technology. Learning about type theory. Chasing the diagrams. {love, marry, debug} ≃ {Agda, Rust, Nix}.
PhD Student at Tallinn University of Technology. Learning about type theory. Chasing the diagrams. {love, marry, debug} ≃ {Agda, Rust, Nix}.
Tags: diagrams learning technology university