deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic

Index - E

EndDateDeontic.Civil.Types, Deontic.Civil
evaluateAllDeontic.Civil.Evaluate, Deontic.Civil
ExceededScopeDeontic.Civil.Types, Deontic.Civil
ExpirationDeontic.Civil.Types, Deontic.Civil
ExploitativeActDeontic.Civil.Types, Deontic.Civil