  We develop a robust foundation for studying the fundamental group(oid) in
discrete homotopy theory, including: equivalent definitions and basic
properties, the theory of covering graphs, and the discrete version of the
Seifert-van Kampen theorem.
