Skip to content

Some small typos in binary encoding spec#1259

Merged
Gabriella439 merged 2 commits intodhall-lang:masterfrom
hagl:binary_spec_typos
Jan 6, 2022
Merged

Some small typos in binary encoding spec#1259
Gabriella439 merged 2 commits intodhall-lang:masterfrom
hagl:binary_spec_typos

Conversation

@hagl
Copy link
Copy Markdown
Contributor

@hagl hagl commented Jan 4, 2022

No description provided.


────────────────────────────────────
decode([33, false, HH, MM]) = -HH:MM
decode([32, false, HH, MM]) = -HH:MM
Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

See

TList [ TInt 32, TBool sign, TInt _HH, TInt _MM ]

Copy link
Copy Markdown
Collaborator

@sjakobi sjakobi left a comment

Choose a reason for hiding this comment

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

Cheers!

@Gabriella439 Gabriella439 merged commit abee4f2 into dhall-lang:master Jan 6, 2022
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