A work-in-progress introductory book on the Mercury programming language, covering everything from basic logic programming prerequisites to advanced topics like modes, instantiatedness, typeclasses, existential types, definite clause grammars, foreign language interfaces (Java, C#), and debugging. The book targets readers new to Mercury and is available as a free draft on GitHub.
Sort: