Remove foralls with empty variable list
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 12 Nov 2008 11:42:13 +0000 (11:42 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 12 Nov 2008 11:42:13 +0000 (11:42 +0000)
commit5106fd9c4be9536e798193b4214b0085a776f622
treeec0d03913515c5d53b569c4bd8736751cda64cd0
parent60d5a0a9f613a804d6d3d5de4c734d6f75e1596f
Remove foralls with empty variable list
Expr.hs