microsoft / Nova

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

Rename mlkzg and remove redundant transcript absorbs #299

Closed srinathsetty closed 5 months ago

srinathsetty commented 5 months ago

Credit (for identifying redundant transcript absorbs): adr1anh