parazyd aaef3705e5 example: Add very basic hello-world contract 2 years ago
..
proof aaef3705e5 example: Add very basic hello-world contract 2 years ago
src aaef3705e5 example: Add very basic hello-world contract 2 years ago
.gitignore aaef3705e5 example: Add very basic hello-world contract 2 years ago
Cargo.toml aaef3705e5 example: Add very basic hello-world contract 2 years ago
Makefile aaef3705e5 example: Add very basic hello-world contract 2 years ago