Objetivo: traduzir o Software Foundations em Idris para Kind2.
Toda semana:
-
Definir as páginas que serão traduzidas.
-
Individualmente: ler e fazer todos os exercícios.
-
Colaborativamente, traduzir e adaptar a página para Kind2, no "book.md".
-
Gravar um video (voz + tela) explicando a solução de um dos exercícios.
- Capítulos 2 e 3
- Capítulos 4 e 5