leo-type-inference (cargo): Checks that a program is correct using type inference
Keywords: cryptography|zero-knowledge|leo|programming-language|aleo|compiler|zksnarks