error on list-replicate-1.62.art
fblanqui opened this issue · 1 comments
fblanqui commented
holide ./packages/natural-def-1.29/natural-def-1.29.art ...Fatal error: exception Failure("type match: type operators bool and Number.Natural.natural do not agree")
fblanqui commented
This is my mistake. holide does not work on the .art files that are in ~/.opentheory. It works on .art files generated by using opentheory info --article -o. But, perhaps, it should be documented.