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

Index - H

HasConsentDeontic.Civil.Types, Deontic.Civil
HasDeliveryDeontic.Civil.Types, Deontic.Civil
HasGuardianDeontic.Civil.Types, Deontic.Civil
HasRegistrationDeontic.Civil.Types, Deontic.Civil
HeadingDeontic.Civil.Render, Deontic.Civil
HiddenIntentionDeontic.Civil.Types, Deontic.Civil
HypotheticalIntentDeontic.Civil.Types, Deontic.Civil