search

microsoft / Nova

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

Miscellaneous improvements (details in commit messages) #308

Closed srinathsetty closed 4 months ago