Dependently Typed Languages in Statix. - Jonathan Brouwer; Jesper Cockx; Aron Zwaan (Eelco Visser Commemorative Symposium, 2023)