Esse repositório serve para a escrita de um conjunto de notas que quero faze relacionadas à Teoria dos Tipos, suas subáreas (Por exemplo, a Teoria dos Tipos Homotópica) e suas áreas irmãs (Teoria das Categorias, Lógica, etc.).
O livro é dividido em partes diferentes que cobrem mais ou menos alguns livros principais, livros secundários e artigos que não possuem tradução para português.
Esse projeto também foi pensado para ser colaborativo, então qualquer erro ou adição pode ser feita por outros usuários.
O que falta ser feito está descrito no arquivo passos.md
Como a adição de partes diferentes incompletas pode poluir o arquivo pdf principal e o tex principal, cada parte tem sua branch própria. Atualmente a rotina de commits não passar por forks por ser um repositório mantido por uma única pessoa, mas caso outra pessoa queira fazer alterações, por favor gerar um fork e fazer pull requests.