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

Regularly check the entire library #18

Closed
SReichelt opened this issue Jan 27, 2019 · 0 comments
Closed

Regularly check the entire library #18

SReichelt opened this issue Jan 27, 2019 · 0 comments
Assignees
@SReichelt
Labels
component: hlm logic Issue concerns the HLM logic
Milestone
3. Complete imple...

Comments

@SReichelt
Copy link
Owner

Regularly check all types, proofs, and dependencies of the entire library. Preferably, do not accept pushes to the main repository that break the library.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SReichelt SReichelt

Labels
component: hlm logic Issue concerns the HLM logic
Projects
None yet
Milestone
3. Complete implementation of HLM rules
Development

No branches or pull requests
1 participant
@SReichelt