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

Add ascii equivalent for suffices wildcard ─ #95

Closed
mateidragony opened this issue Jan 31, 2025 · 1 comment
Closed

Add ascii equivalent for suffices wildcard ─ #95

mateidragony opened this issue Jan 31, 2025 · 1 comment
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@mateidragony
Copy link
Collaborator

It would be nice to have an ascii equivalent for ─ in suffices proofs maybe an underscore or something.
@mateidragony mateidragony added enhancement New feature or request good first issue Good for newcomers labels Jan 31, 2025
@mateidragony mateidragony mentioned this issue Feb 7, 2025
Merged
@jsiek
Copy link
Owner

jsiek commented Feb 8, 2025

Note to self: there's a bug regarding the omitted term and suffices... it showed up in the proof of int_mult_assoc. Change a suffices to use ─ and you get a funky error message that talks about if-then.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jsiek @Temperz87 @mateidragony