Andrea Laretto (@iwilare) 's Twitter Profile
Andrea Laretto

@iwilare

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

353 Tweet

211 Followers

598 Following