Correctly insert terms even with scoping (I hope)
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 17 Oct 2008 11:58:37 +0000 (11:58 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 17 Oct 2008 11:58:37 +0000 (11:58 +0000)
commit4612acfaa7a59eb58272368e57f5fecee785b788
tree29c0253f97f46e22d8ee6fd6781fe6e6a09c934d
parent2ccf17cfeefa30fc96dde53f9b604f17c39025b3
Correctly insert terms even with scoping (I hope)
Expr.hs