Typo?

[martin jakub I'm]

In types.html,

type BinTree[T] = empty_bin_tree, bin_tree(Int, BinTree[T],
BinTree[T]);

Should "Int" be "T"?

I have wondered what types with set semantics would enable. Great concept, interesting implementation, and I appreciate the documentation. Awesome work.

[cell-lang]

Definitely a typo. It's fixed now. Thanks for pointing it out, and thanks for the encouragement.