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

Change Variable Printing #175

Closed agureev closed 8 months ago

agureev commented 8 months ago

Changes variable wire printing for to-circuit function. Now the N-th entry is printed as inN and the test-call right had side is out