Descrição
Fornece a biblioteca padrão para projetos Agda. Inclui definições reutilizáveis, estruturas de dados, provas e auxiliares que reduzem a quantidade de código fundamental que usuários precisam escrever do zero.
Instale ao desenvolver ou verificar código Agda que importa a biblioteca padrão. É conteúdo de suporte para Agda, não um assistente de provas separado.