PhD student @ Tallinn University of Technology, working on directed type theory • Agda, Rust, Nix • 🇮🇹⇗🇪🇪 日本語もOK

ID: 1083152191

linkhttp://iwilare.com calendar_today12-01-2013 14:32:10