Directory listing for Agda-2.5.1.2 source tarball

Agda-2.5.1.2/src/full/Agda/Utils/Graph/AdjacencyMap/