VIDEO: Simplicity: Programmable Money

A demonstration of the formal semantics of Simplicity by implementing it in Agda.

- Dr. Russell O'Connor