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

Apia doesn't know how to erase proof terms in the definitions #81

Open
asr opened this issue Dec 26, 2016 · 2 comments
Open

Apia doesn't know how to erase proof terms in the definitions #81

asr opened this issue Dec 26, 2016 · 2 comments
Assignees
@asr
Labels
status: blocking translation type: bug type: regression

Comments

@asr
Copy link
Owner

asr commented Dec 26, 2016

No description provided.

@asr asr added the type: bug label Dec 26, 2016
@asr asr self-assigned this Dec 26, 2016
@asr asr mentioned this issue Dec 26, 2016
Open
@asr
Copy link
Owner Author

asr commented Dec 26, 2016

Blocking #4.

@asr asr mentioned this issue Dec 27, 2016
Open
@asr
Copy link
Owner Author

asr commented Dec 27, 2016

Blocking #78.

@asr asr added the translation label Jan 6, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@asr asr

Labels
status: blocking translation type: bug type: regression
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@asr