Learning Material

Objetivo: traduzir o Software Foundations em Idris para Kind2.

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