Claudio HermidaSmart Contracts in CardanoPart I: Functional programming and the eUTXO model16h ago16h ago