-
Notifications
You must be signed in to change notification settings - Fork 17
Issues: ermine-language/ermine
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
Are IRC channels still on freenode or have they moved to libera?
#25
opened Aug 31, 2021 by
cognivore
Save findGlobals name index for resolving names while parsing statements
active
#21
opened Feb 19, 2015 by
S11001001
Parse whitespace and comments
active
lexical syntax of comments
#18
opened Feb 10, 2015 by
S11001001
Spin off
Ermine.Unification.Sharing
as a separate package?
enhancement
question
#7
opened Mar 13, 2014 by
ekmett
This may be an issue with the unicode codepage support on Windows:
question
windows
#2
opened Jan 19, 2013 by
ekmett
Allow non-constructor term names to start with
:
compatibility
lexical syntax
#1
opened Jan 17, 2013 by
S11001001
ProTip!
Adding no:label will show everything without a label.