add elevate laws
authorJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 02:31:19 +0000 (21:31 -0500)
committerJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 02:31:19 +0000 (21:31 -0500)
commitde7a141b23248017c50e05b407e7b5550eedcb3c
tree5f4d47f458cf2e79f2f9c39e6fd6800583d4f9d3
parent51f881475438eba8f8533e5e0a91ee087e72aaaf
add elevate laws

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
monad_transformers.mdwn