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

Annotation operator #103

Merged
merged 3 commits into from
Oct 20, 2015
Merged

Annotation operator #103

merged 3 commits into from
Oct 20, 2015

Conversation

robrix
Copy link
Owner

@robrix robrix commented Oct 20, 2015

Fixes #102.

@robrix
Copy link
Owner Author

robrix commented Oct 20, 2015

@joshvera: This can be used like the <?> operator in lightyear and should improve the error messages somewhat.

@joshvera
Copy link
Collaborator

ea632518-6db1-11e5-806e-b3a337170efe

joshvera added a commit that referenced this pull request Oct 20, 2015
@joshvera
Merge pull request #103 from robrix/annotation-operator
b9c5c80 
Annotation operator
@joshvera joshvera merged commit b9c5c80 into master Oct 20, 2015
@joshvera joshvera deleted the annotation-operator branch October 20, 2015 18:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@joshvera joshvera

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@robrix @joshvera