Skip to content

Resolve TODOs.#2

Open
mishajw wants to merge 6 commits intomainfrom
todos
Open

Resolve TODOs.#2
mishajw wants to merge 6 commits intomainfrom
todos

Conversation

@mishajw
Copy link
Collaborator

@mishajw mishajw commented Oct 29, 2022

No description provided.

We can always add this back later if needed.
This means we don't "over-encode" data into the preferred
representation, which will make comparisons fairer.
@mishajw mishajw requested a review from HoagyC October 29, 2022 16:12
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.

2 participants