haskell, Programming IT Nursery What is an appropriate type for smart contracts? I’m wondering what is the best way to express smart contracts in typed languages such as Haskell or Idris (so you could, for example, compile it to run on... May 31, 2022 0 Comments