3 ms·

data Offense = MensRea | ActusReus CriminalLaw :: [Offense] -> Punishment ExtenuatingCircumstances :: CriminalLaw -> [Circumstance] -> ExtenuatingEffect

by gosub 14y ago

data Offense = MensRea | ActusReus CriminalLaw :: [Offense] -> Punishment ExtenuatingCircumstances :: CriminalLaw -> [Circumstance] -> ExtenuatingEffect -> Punishment