README.md

Learning Material

Objetivo: traduzir o Software Foundations em Idris para Kind.

Padrão de formatação

• 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);

TODO

• - 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.

Mês 1

• Capítulos 2 e 3

Mês 2

• Capítulos 4 e 5

Mês 3

• Capítulos 6 e 7

Book

Kind - Book EN

Kind - Book pt_BR

Kind - Lang EN