From 02a96609a8ba6ce51215ac239baaddc7cd351309 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Thu, 26 Feb 2026 14:10:19 +0100 Subject: [PATCH] [FMFP] Set up --- semester4/fmfp/parts/00_haskell/00_intro.tex | 0 semester4/fmfp/parts/00_haskell/01_syntax.tex | 0 semester4/fmfp/parts/01_natural-deduction/00_intro.tex | 0 3 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 semester4/fmfp/parts/00_haskell/00_intro.tex create mode 100644 semester4/fmfp/parts/00_haskell/01_syntax.tex create mode 100644 semester4/fmfp/parts/01_natural-deduction/00_intro.tex 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