Sign up for a GitHub account Sign in All Gists lykkin / gist:32537cca0ed8dcb6058b Created January 07, 2015 Code Revisions 1 /.sunken-menu-group /.sunken-menu-contents Embed HTTPS SSH You can clone with HTTPS or SSH . Download Gist /.only-with-full-nav more language stuff View gist:32537cca0ed8dcb6058b gistfile1.txt Raw File suppressed. Click to show. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 data BExp = TRUE | FALSE | AND BExp BExp | OR BExp BExp | NOT BExp | QUANT QExp beval :: BExp -> Bool beval TRUE = True beva...