Claudio HermidaSmart Contracts in CardanoPart I: Functional programming and the eUTXO model14h ago14h ago