The introduction for the JLHS computer science repo.