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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Inconsistent behaviors of trailing line breaks in a literal string
#233
opened May 5, 2020 by
na4zagin3
Undesirable error reports happened when --type-check-only is set
bug
#214
opened Feb 3, 2020 by
gfngfn
Application of {inline, block, math} commands does not take type synonyms into account
bug
#205
opened Dec 6, 2019 by
elpinal
Arity mismatch of type constructors should be detected as soon as possible
#193
opened Sep 15, 2019 by
elpinal
Copy & pasting mathematical expressions with parentheses
enhancement
#166
opened Feb 26, 2019 by
nyuichi
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
