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

A very naive geb reduction system #72

Open mariari opened 1 year ago

mariari commented 1 year ago

This is an example optimization pass. It is horribly coded, do not take it seriously, but do see the effect on the graphs

https://pomf2.lain.la/f/txfbjekw.png