bwbush

Executing a simplified version of Marlowe on Midnight's devnet

Kyd, a Marlowe-like language for smart contracts

The Kyd language is a simplified version of the Marlowe language.

The following Lean 4 types define Kyd. For brevity, we omit the specification of the semantics, but they closely mimic Marlowe's semantics.

dino-

Haskell symbols

When starting out with Haskell, I found it difficult to read a lot of the symbols. I made this document explaining the names of some symbols and how I read them.

:: "has type"

x :: Int