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

VampIR Optimization Bug Fix #165

Closed agureev closed 10 months ago

agureev commented 10 months ago

Fixes the bug relating to optimization of function application VampIR term.