sneeuwballen/zipperposition

Use FlexState for all cli options

abentkamp opened this issue · 0 comments

abentkamp commented

see induction.ml for a good example