Doc index - agda-stdlib Packages contains this documentation Package: agda-stdlib apt-get install agda-stdlib Documentations in package: agda-stdlib Package: agda-stdlib-doc apt-get install agda-stdlib-doc Documentations in package: agda-stdlib agda-stdlib-doc Documentation root: https://dweb.link/ipfs/bafybeicwmqwd5x24p4ialqw3k2em2d5cgpytqnxn7d3iliyqooifm6vkci