hfs 0.1.1

Hereditarily finite sets.
Documentation