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

Add New Division Primitive #146

Closed agureev closed 1 year ago

agureev commented 1 year ago

Adds a new primitive operation of conditional division to the VampIR spec. The primitive stands for the VampIR operation which is capable of dividing by 0, producing 0.