]> ruin.nu Git - proglang.git/commitdiff
introduced pushAndPop in the typechecker too
authorMichael Andreen <harv@ruin.nu>
Thu, 2 Mar 2006 20:41:09 +0000 (20:41 +0000)
committerMichael Andreen <harv@ruin.nu>
Thu, 2 Mar 2006 20:41:09 +0000 (20:41 +0000)

No differences found