search

active-logic / howl

Symbolic notation engine
Other
6 stars 1 forks source link

Disable symbolic conflict detection while nitpicking #52

Closed eelstork closed 4 years ago

eelstork commented 4 years ago

Conflict detection should be disabled while nitpicking since a symset has already been applied. Bit of a wonder that this only generates few errors.

eelstork commented 4 years ago

a008751