/blockchain-with-linear-types

Runtime implementation of paper "Linear types can change the blockchain!" (in Haskell)

No issues in this repository yet.