3 ms·Great introduction to functional programming, and logical theorem proving.by miga 9y agoGreat introduction to functional programming, and logical theorem proving.