Directory listing for semigroupoids-3.1 documentation

semigroupoids-3.1-docs/src/