/Nova

Nova: High-speed recursive arguments from folding schemes

Primary LanguageRustMIT LicenseMIT

Watchers

No one’s watching this repository yet.