search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Make to-vampir Optimization Into a Pass #164

Closed agureev closed 11 months ago

agureev commented 11 months ago

Makes optimization which were internal to to-vampir compilation into a separate pass.