Contents
Project Page
Index
Table of contents
Contents:
Library ConCert.Examples.PiggyBank.PiggyBankExtractLIGO
From
ConCert.Examples.PiggyBank
Require
Import
PiggyBank
.
(* TODO: extract the piggybank contract to LIGO *)