User-defined pretty printers
It'd be nice to enable users to tell hammer how to print their types. Maybe add a predicate type for it.
This is necessary, unless I'm missing something, for benchmarking of parsers with user-defined types.
It'd be nice to enable users to tell hammer how to print their types. Maybe add a predicate type for it.
This is necessary, unless I'm missing something, for benchmarking of parsers with user-defined types.