#32 TyDe Systems - Jan de Muijnck-Hughes | Type Theory Forall | Podwise