Objetivo: traduzir o Software Foundations em Idris para Kind.

• 1. # Nome do capítulo;
• 2. ## Título;
• 3. ### Subtítulo;
• 4. #### Título de exercício, exemplo etc;
• 5. `codeblock`;
• 6. Mensagem de erro: codeblock + diff;
• 7. Citação de função, tipo ou parametro dentro do texto: em itálico (Tipo);

• - Definir padrão;
• - Refazer exemplos com o novo type check e mensagens de erro;
• - Revisar e corrigir erros;
• - Traduzir para o Inglês;
• - Continuar do capitulo 2;
• - Continuar do capitulo 3;
• - Continuar do capitulo 4;
• - Continuar do capitulo 5;
• - Continuar do capitulo 6;
• - Continuar do capitulo 7;
• - Continuar do capitulo 8;

Toda semana:

1. Definir as páginas que serão traduzidas.

2. Individualmente: ler e fazer todos os exercícios.

3. Colaborativamente, traduzir e adaptar a página para Kind2, no "book.md".

4. Gravar um video (voz + tela) explicando a solução de um dos exercícios.

• Capítulos 2 e 3

• Capítulos 4 e 5

• Capítulos 6 e 7

Kind - Book EN

Kind - Book pt_BR

Kind - Lang EN