Claudio HermidaSmart Contracts in CardanoPart I: Functional programming and the eUTXO model19h ago19h ago