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