Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tech report describing the consensus layer #2663

Merged
merged 1 commit into from
Dec 31, 2020
Merged

Conversation

edsko
Copy link
Contributor

@edsko edsko commented Oct 5, 2020

No description provided.

@edsko edsko force-pushed the edsko/tech-report branch 6 times, most recently from 864a781 to f43823b Compare October 15, 2020 10:15
@edsko edsko force-pushed the edsko/tech-report branch 2 times, most recently from 718b384 to 3e1923b Compare November 16, 2020 07:52
@mrBliss mrBliss self-requested a review December 31, 2020 10:19
Copy link
Contributor

@mrBliss mrBliss left a comment

Choose a reason for hiding this comment

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

Now let's find a publisher for it 😁

This is by no means done, but significant portions are finished, and --
importantly -- I think the chapter on genesis is complete. I might have some
more time to fill in some of the blanks, but my involvement with this project
will be significantly less from this point forward.

Co-authored-by: Duncan Coutts <duncan@well-typed.com>
Co-authored-by: Thomas Winant <thomas@well-typed.com>
@edsko
Copy link
Contributor Author

edsko commented Dec 31, 2020

bors merge

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Dec 31, 2020

Build succeeded!

And happy new year! 🎉

@iohk-bors iohk-bors bot merged commit 84444d9 into master Dec 31, 2020
@iohk-bors iohk-bors bot deleted the edsko/tech-report branch December 31, 2020 14:07
coot pushed a commit that referenced this pull request May 16, 2022
2663: Tech report describing the consensus layer r=edsko a=edsko



Co-authored-by: Edsko de Vries <edsko@well-typed.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants