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 … Read more
I’m wondering what is the best way to express smart contracts in typed languages such as Haskell or Idris (so you could, for … Read more