Brian/base gen err - Githubissues

mlabs-haskell / apropos

Propositional Logic Apropos Types

Apache License 2.0

14 stars 5 forks source link

Closed Geometer1729 closed 2 years ago

Geometer1729 commented 2 years ago

Adds an error message for when the baseGen produces an illegal model. Previously this resulted in a hash-map lookup error.