PPP 030801 - Introduction
IOG Academy
PPP 030802 - Another State Machine Example: Token Sale
PPP 030803 - Automatic Testing using Emulator Traces
PPP 030804 - Test Coverage
PPP 030805 - Interlude: Optics
PPP 030806 Property Based Testing with QuickCheck
PPP 030807 - Property Based Testing of Plutus Contracts
PPP 030808 - Homework
PPP 030901 - Introduction
PPP 030902 - Simon Thompson: Marlowe Overview
PPP 030903 - Alexander Nemish: Marlowe in Plutus
PPP 030904 - Brian Bush: The Marlowe CLI
PPP 030905 - Marlowe Playground Demo
PPP 030906 - Homework
PPP 031001 - Introduction
PPP 031002 - The Private Testnet
PPP 031003 - Plutus & Staking
PPP 031004 - Trying it on the Testnet
PPP 031005 - Conclusion
Intro to the Haskell Course
Haskell Course - Lesson 1 - Intro to Haskell and tools
Haskell Course - Lesson 2 - Data types, Signatures, and Polymorphism
Haskell Course - Lesson 3 - Conditional & Helper Constructions
Haskell Course - Lesson 4 - Pattern Matching and Case expressions
Haskell Course - Lesson 5 - Improving and combining functions
Haskell Course - Lesson 6 - Recursion and Folds
Haskell Course - Lesson 7 - Intro to Type Classes
Haskell Course - Lesson 8 - Creating Non-Parameterized Types
Haskell Course - Lesson 9 - Creating Parameterized and Recursive ...
Haskell Course - Lesson 10 - Creating Type Classes and Instances
Haskell Course - Lesson 11 - Basic IO
PPP 040101 - Welcome and Introduction
PPP 040102 - Setting up Our Development Environment
PPP 040103 - Kuber Marketplace Demo
PPP 040104 - Hashing & Digital Signatures
PPP 040105 - The EUTxO-Model
PPP 040106 - Homework
PPP 040201 - Low-Level, Untyped Validation Scripts
PPP 040202 - Using the Cardano CLI to Interact with Plutus
PPP 040203 - High-Level, Typed Validation Scripts