/deontic-logic-with-unknowns-haskell

A Partial Deontic Logic with conflict checking.

Primary LanguageHaskell

No issues in this repository yet.