yuuyins / learning

Learning Material

Objetivo: traduzir o Software Foundations em Idris para Kind2.

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. Codigo;
• 6. Mensagem de erro: print;
• 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;
• - Continuar do capitulo 5;

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.

Semana 1

• Capítulos 2 e 3

Semana 2

• Capítulos 4 e 5