The programming language in which scripts on the Cardano blockchain are written.
Plutus Core is a small functional programming language — a formal specification is available with further details. Plutus Core is not read or written by humans, it is a compilation target for other languages. What is plutus core?