Tests, Derivations, Proofs

Tests, Derivations, Proofs
Roger K.W. Hui

0.	Introduction
	0.1 Why Functional Programming Matters
	0.2 Notation as a Tool of Thought

1.	Tests
	1.1 Assertions
	1.2 Diamond Kata

2.	Derivations
	2.1 Transpose
	2.2 Result Shape
	2.3 Tests
	2.4 A Terse Definition

3.	Proofs
	3.1 Sum of Integers
	3.2 Triangular Matrix Inverse
	3.3 Cholesky Decomposition
	3.4 Ackermann’s Function