haskell snippet added
codebox snippet added
function law added