Add is_wild function to check for wild binders.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 08:58:54 +0000 (10:58 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 08:58:54 +0000 (10:58 +0200)
commit1c0c371527493b595d8ee767c1ed5cedc0891a30
treee1e247504774b1f623c7de66f0d15d6315d9c24e
parent3f12ee5d723fd8c01190c5971641141a8c7a9d98
Add is_wild function to check for wild binders.
CoreTools.hs