layout permalink page /learn/ Functional Programming [Equational Reasoning]({{ site.baseurl }}/equational-reasoning) [Recursion Principles and Foldables]({{ site.baseurl }}/recursion-foldables)