I work with dependently typed programming languages and type-driven development. https://types.pl/web/@Andrev
