Added comments to flattening-notes
authorRichard Eisenberg <eir@cis.upenn.edu>
Sun, 7 Dec 2014 15:40:23 +0000 (10:40 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Sun, 7 Dec 2014 15:40:23 +0000 (10:40 -0500)
commitd62957682d72c939e26cf0a29bf0c68726399c20
treea66610954ca601e919bbf05a5fb3ef0ccbdb98f0
parent334cb108c17e02b9f83db09a0dc85a1f1c11a134
Added comments to flattening-notes
compiler/typecheck/Flattening-notes