Functional Programming at YACC, the coding club of IIT Palakkad. Haskell, OCaml, type systems, and programs built like proofs.