Lectures and practices from university functional programming course on Haskell