deontic-de-bgb-0.1.0.0: German Civil Code (BGB) fragment with type-level stratified deontic logic

Index

BGBFactDeontic.BGB.Types
caActIdDeontic.BGB.Types
caActorDeontic.BGB.Types
CapacityAct 
1 (Type/Class)Deontic.BGB.Types
2 (Data Constructor)Deontic.BGB.Types
IsMinorDeontic.BGB.Types
LegalRepConsentDeontic.BGB.Types
LimitedCapacityDeontic.BGB.Types
PermanentlyIncapableDeontic.BGB.Types
PocketMoneyDeontic.BGB.Types
PurelyBeneficialDeontic.BGB.Types
UnderSevenDeontic.BGB.Types