GitHub repository: racherb/wells
Primary language: Haskell
Created: 2019-02-11T15:57:56Z
Description: The State Machine And Time Machine for Smart Contracts