Move to-vampir Optimization

anoma / geb

A Categorical View of Computation

https://anoma.github.io/geb/

GNU General Public License v3.0

28 stars 10 forks source link

Closed agureev closed 11 months ago

agureev commented 1 year ago

Provides separate functions optimizing the SeqN to VampIR compilation.

agureev commented 11 months ago

PR outdated due to new Juvix compilation requirements.