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