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

Remove VampIR Library Typos #169

Closed agureev closed 9 months ago

agureev commented 10 months ago

Removes typos introduced in fb8bf600. In particular, changes mod_n, combine_aux, n_th, mod_n and drop-ith as VampIR functions.