Skip to content

adding some annotations -> bool#63

Open
fchapoton wants to merge 1 commit into3-manifolds:masterfrom
fchapoton:bool_annotations
Open

adding some annotations -> bool#63
fchapoton wants to merge 1 commit into3-manifolds:masterfrom
fchapoton:bool_annotations

Conversation

@fchapoton
Copy link
Contributor

This one is just adding a few typing annotations about methods returning booleans.

@fchapoton
Copy link
Contributor Author

ping ?

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.

1 participant