microsoft / Nova

Nova: High-speed recursive arguments from folding schemes
MIT License
673 stars 176 forks source link

fix computation of eval_Z, by querying W at the shortened vector #274

Closed srinathsetty closed 7 months ago

srinathsetty commented 7 months ago

Credit: Adrian Hamelink