microsoft / Nova

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

update benchmark #313

Closed srinathsetty closed 4 months ago