[FMFP] Start summary

2026-03-14 10:50:05 +01:00 · 2026-02-27 17:11:45 +01:00
parent 18734a18b6
commit 9d72814b56
6 changed files with 44 additions and 0 deletions
--- a/semester4/fmfp/formal-methods-functional-programming-summary.tex
+++ b/semester4/fmfp/formal-methods-functional-programming-summary.tex
@@ -39,6 +39,10 @@
 \printtoc{Aquamarine}


+\newsection
+\section{Haskell}
+\input{parts/00_haskell/00_intro.tex}
+\input{parts/00_haskell/01_syntax.tex}