Я работаю над книгой Дорога Хаскелла к логике, математике и программированию . (Я только в середине...