أرسل هذا في رسالة قصيرة: Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs