About
About Eric Macaulay
Eric is a computer programmer who is passionate about correct-by-construction software development and functional programming languages.
Find your next book on Leanpub.
Thousands of books, courses, bundles and tracks, updated by their authors as they write.
Browse the store