This is an idealized Haskell implementation of IOHK's Plutus smart contract language for the Cardano blockchain
It ignores cryptography, consensus, serialization and networking and concentrates on the fundamental ideas of how Plutus works.
This idealized version of Plutus is close enough to the "real thing" to convey a realistic taste of what writing Plutus contracts feels like.