Documenting the Julia checker.