-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove all commented out imports (#74)
- Loading branch information
1 parent
055d6c0
commit 4f4b17e
Showing
6 changed files
with
0 additions
and
15 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,3 @@ | ||
module Anoma.Delta; | ||
|
||
import Anoma.Delta.Types open public; | ||
-- import Anoma.Delta.ProvingSystem open public; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,3 @@ | ||
module Anoma.State; | ||
|
||
import Anoma.State.CommitmentTree as CommitmentTree public; | ||
-- import Anoma.State.NullifierSet as NullifierSet public; | ||
-- import Anoma.State.ResourceMachine as ResourceMachine public; | ||
-- import Anoma.State.CommitmentTree open using {CommitmentTree} public; | ||
-- import Anoma.State.NullifierSet open using {NullifierSet} public; | ||
-- import Anoma.State.ResourceMachine open using {ResourceMachine} public; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,3 @@ | ||
module Applib.Authorization; | ||
|
||
-- import Applib.Authorization.Check as Check open public; | ||
import Applib.Identities as Identities open public; |