Om du vill lära dig lite typteori eller FP-koncept utan mycket elitistiskt PLT-hjärnskräp – leta inte längre. Att ha riktig lågnivåkod som du kan utforska sida vid sida med formella beskrivningar gör förståelsen mycket enklare.