The Iowa Type Theory Commute, Chapter 2

Chapter 2: Functional Programming

The second chapter of the Iowa Type Theory Commute is about functional programming. We are discussing ways that functional programming languages support writing concise programs.