-
Notifications
You must be signed in to change notification settings - Fork 22
Issues: UniFormal/MMT
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
Issues list
Persist results of diagram operators to OMDoc
build system
needs-design
systems-meeting
To be discussed in the KWARC system meeting soon.
#566
opened Oct 27, 2021 by
ComFreek
Modularity features for structures necessary for nice diagrams & diagram operators
needs-design
#556
opened Dec 11, 2020 by
ComFreek
2 tasks
Typechecking errors in view when assigning to a constant with "role Simplify" annotation
bug
type checker
Bugs related to the typechecker (incl. false positives and false negatives)
#554
opened Nov 29, 2020 by
ComFreek
Relative URIs sometimes not relative enough
documentation
enhancement
parser-lexer
Parser, lexer or notation related issues
#545
opened Oct 14, 2020 by
ComFreek
Flat sequences in LFS broken
bug
LFS
type checker
Bugs related to the typechecker (incl. false positives and false negatives)
#544
opened Oct 12, 2020 by
rappatoni
Name clashes between bound variables and symbols: prefer resolving to bound variables
bug
needs-design
parser-lexer
Parser, lexer or notation related issues
#543
opened Oct 7, 2020 by
ComFreek
Judgment Role Notation Generator Breaks Original Syntax
needs-design
#538
opened Oct 2, 2020 by
rappatoni
Pushout operator does not elaborate constants into generated named theory's body
bug
devel
Pertains to issues on the devel branch
#533
opened Sep 7, 2020 by
rappatoni
Typechecker confuses constants included from parametric theory and fails
bug
help wanted
type checker
Bugs related to the typechecker (incl. false positives and false negatives)
#530
opened Aug 1, 2020 by
ComFreek
TypeChecker - Diagram Combinators
bug
type checker
Bugs related to the typechecker (incl. false positives and false negatives)
#497
opened Nov 25, 2019 by
ysharoda
Implicit views induce implicit morphisms on meta-theories, causing problems
#417
opened Dec 12, 2018 by
Jazzpirate
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.