version 0.1.2: fix bug on hfixpoints

version 0.1.1: fix dependency on regular

version 0.1: initial release