dsac e84a6e387d [beamer] proto 0		2022-12-15 11:40:29 +01:00
..
explicit_types.png	[beamer] proto 0	2022-12-15 11:40:29 +01:00
gadt.png	[beamer] proto 0	2022-12-15 11:40:29 +01:00