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.

Sign up for GitHub

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

Jump to bottom

Support encoding Doubles correctly #137

Closed
Nadrieril opened this issue Mar 4, 2020 · 2 comments
Closed

Support encoding Doubles correctly #137

Nadrieril opened this issue Mar 4, 2020 · 2 comments
Labels
standard-compliance Something doesn't work according to the dhall standard
Milestone
v1.0

Comments

@Nadrieril
Copy link
Owner

See pyfisch/cbor#109.
I'm waiting on pyfisch/cbor#179 to progress as that would probably solve the issue.
@Nadrieril Nadrieril added postponed This issue is low priority standard-compliance Something doesn't work according to the dhall standard labels Mar 4, 2020
@Nadrieril Nadrieril added this to the v1.0 milestone Mar 18, 2020
@Nadrieril
Copy link
Owner Author

Actually, see dhall-lang/dhall-lang#958

@Nadrieril Nadrieril removed the postponed This issue is low priority label Apr 12, 2020
@Nadrieril
Copy link
Owner Author

Fixed in #171

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
standard-compliance Something doesn't work according to the dhall standard
Projects
None yet
Milestone
v1.0
Development

No branches or pull requests
1 participant
@Nadrieril