Nova: High-speed recursive arguments from folding schemes

Note

This repository is a fork of the original hosted at https://github.com/microsoft/nova and also forked from https://github.com/argumentcomputer/arecibo currently, but will likely be so different in the future that those are just motivation.

Notes

I removed deny.toml, but having this could be good to use actually,

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
.rustfmt.toml		.rustfmt.toml
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md