4ier
diff --git a/‎docs/audio/type_1_hindley_milner.mp3‎
0 Bytes b/‎docs/audio/type_1_hindley_milner.mp3‎
0 Bytes
diff --git a/‎docs/audio/type_2_subtype_lattice.mp3‎
0 Bytes b/‎docs/audio/type_2_subtype_lattice.mp3‎
0 Bytes
diff --git a/‎docs/audio/type_3_curry_howard.mp3‎
0 Bytes b/‎docs/audio/type_3_curry_howard.mp3‎
0 Bytes