Skip to content

Conversation

@jeltsch
Copy link
Owner

@jeltsch jeltsch commented Jun 19, 2022

This resolves #5.

@jeltsch jeltsch self-assigned this Jun 19, 2022
@jeltsch jeltsch merged commit 291465b into master Jun 19, 2022
@jeltsch jeltsch deleted the improvement/introduction-precision branch June 19, 2022 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make the introduction more precise

1 participant