diff --git a/semester4/fmfp/parts/00_haskell/00_intro.tex b/semester4/fmfp/parts/00_haskell/00_intro.tex
new file mode 100644
index 0000000..e69de29
diff --git a/semester4/fmfp/parts/00_haskell/01_syntax.tex b/semester4/fmfp/parts/00_haskell/01_syntax.tex
new file mode 100644
index 0000000..e69de29
diff --git a/semester4/fmfp/parts/01_natural-deduction/00_intro.tex b/semester4/fmfp/parts/01_natural-deduction/00_intro.tex
new file mode 100644
index 0000000..e69de29