Paul Otten 721502a468 Move from "nightly" toolchain to "stable". hai 1 ano
..
proof aaef3705e5 example: Add very basic hello-world contract %!s(int64=2) %!d(string=hai) anos
src 604f443fd1 chore: Update license header year hai 1 ano
.gitignore aaef3705e5 example: Add very basic hello-world contract %!s(int64=2) %!d(string=hai) anos
Cargo.toml 4eba00236d clippy: add suggested clippy lints to top-level Cargo.toml and enable %!s(int64=2) %!d(string=hai) anos
Makefile 721502a468 Move from "nightly" toolchain to "stable". hai 1 ano