handle stage-(n+1) literals properly by expanding them in the typechecker
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 8 Mar 2011 04:35:15 +0000 (20:35 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 8 Mar 2011 04:35:15 +0000 (20:35 -0800)

No differences found