Introdução
User Guide
1.
Começando
1.1.
Kind
1.2.
Instalação
1.3.
Olá Mundo!
1.4.
Olá Kind!
Book
2.
Básico: Introdução
2.1.
Tipos Enumerados
2.1.1.
Dias da semana
2.2.
Booleanos
2.3.
Tipos de função
2.4.
Módulos
2.5.
Números
2.6.
Prova por Simplificação
2.7.
Prova por aplicação
2.8.
Prova por análise de casos
2.9.
Prova por Reescrita
2.10.
Equal.chain e Equal.mirror
2.11.
Mais exercícios
3.
Indução: Prova por Indução
3.1.
Exercícios
3.2.
Mais Exercícios
4.
Estrutura de dados
4.1.
Listas de números
4.2.
Raciocínio sobre listas
4.3.
Maybe
5.
Polimorfismo
5.1.
Funções como dados
5.2.
Exercícios adicionais
6.
Lógica em Kind
6.1.
Conectivos Lógicos
6.2.
Falsidade e Negação
6.3.
Verdade, Equivalência e Quantificação
6.4.
Programação com proposições
6.5.
Aplicando Teoremas a Argumentos
6.6.
Kind vs Teoria dos Conjuntos
6.7.
Lógica Clássica vs. Lógica Construtiva
7.
Proposições Definidas Indutivamente
7.1.
Usando evidências em provas
7.2.
Inductive Relations
7.3.
Case Study: Regular Expressions
7.4.
Estudo de Caso: Melhorando a Reflexão
7.5.
Exercícios adicionais
Contribuidores
Light
Rust
Coal
Navy
Ayu
Contribuidores
NaoEhSavio
Bonatto