(homotopy, cubical) type theory, category theory, functional programming, music. PhD student at Chalmers. Any pronouns.
@[email protected]

ID: 843260217865461761

linkhttps://monade.li calendar_today19-03-2017 00:37:57