search

cucapra / calyx-evaluation

4 stars 3 forks source link

preserve decl names #15

Closed rachitnigam closed 1 year ago

rachitnigam commented 1 year ago

Companion to https://github.com/cucapra/dahlia/pull/395