generated at
2/18/2025, 3:44:12 PM
『The Algebra of Programming』
Richard Bird
Oege De Moor