Pact is a human-readable programming language used by Kadena. It automatically detects bugs to make it easier for developers to write safer smart contracts.