dune documentation
Jérémie Dimino
Logic, Programming and Prolog (2ed)
Ulf Nilsson, Jan Maluszynski
Forstater v CGD Judgement 2019
YMCGLASHAN
Grumbles from the grave (Non Fiction)
Robert A. Heinlein
Programming Erlang, Second Edition
Joe Armstrong