There was an error while loading. Please reload this page.
:l main.hs p && q p || q p ==> q p <=> q (^) p