microsoft / Nova

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

relax requirements on the size of public IO and add a note about NIFS #294

Closed srinathsetty closed 5 months ago