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

Fix Multiplication Intepretation Typo #174

Closed agureev closed 8 months ago

agureev commented 8 months ago

Fixes typo when instead of inputs to the multiplication, the to-vampir compilation tried to access car and cadr of the morphism.