Skip to content
This repository has been archived by the owner on Nov 8, 2020. It is now read-only.

Update Blockchain.thy #1

Merged
merged 1 commit into from
Jul 28, 2017
Merged

Update Blockchain.thy #1

merged 1 commit into from
Jul 28, 2017

Conversation

tirix
Copy link
Contributor

@tirix tirix commented Jul 28, 2017

No description provided.

@diekmann diekmann merged commit 3178a71 into fu-dietersheim:master Jul 28, 2017
@diekmann
Copy link
Contributor

LGTM. Travis is also red which is the color of love. Great!

@tirix tirix deleted the patch-1 branch July 28, 2017 17:36
@tirix
Copy link
Contributor Author

tirix commented Jul 28, 2017

It's a pleasure to contribute to that ambitious project.
Wishing you good luck for future developments!

@@ -4,5 +4,6 @@ begin
datatype 'a blockchain = Empty | Block "'a blockchain"

(*User Guide: Add your blocks here*)
value \<open>Block (Block (Block (Block (Block Empty))))\<close>
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this a blockchain split? 😿

diekmann added a commit that referenced this pull request Jul 29, 2017
@diekmann
Copy link
Contributor

Worry not @larsrh, for our next-gen blockchain technology can resolve the split.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants