jcrreis / ocaml-type-system

Linguagem para manipular stacks

construtores: empty, push operaçoes: pop e merge (juntar duas pilhas)

ver arvores derivação

capitulos de tc (e md) ->

implementar sistema de tipos (em 4.2)

fazer 4.1 livro..