Directory listing for semigroupoids-4.2 documentation

semigroupoids-4.2-docs/