Nova

Nova: High-speed recursive arguments from folding schemes

GitHub

698 stars
24 watching
183 forks
Language: Rust
last commit: 29 days ago