Julius Marozas (@juliusmarozas) 's Twitter Profile
Julius Marozas

@juliusmarozas

PhD @ Chalmers

Interested in Type Theory, Proof Assistants
πŸ‹ Haskell πŸ” Agda ❄️ NixOS

he/him

ID: 835870920

linkhttp://github.com/jul1u5 calendar_today20-09-2012 16:12:23

43 Tweet

44 Followers

585 Following