-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: omelkonian/agda2train
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
Streaming output for efficiency
enhancement
New feature or request
#9
opened Jun 21, 2023 by
omelkonian
Generate datasets for more libraries
enhancement
New feature or request
#8
opened Jun 19, 2023 by
omelkonian
Include structure of Lits/Sorts/Levels
enhancement
New feature or request
#6
opened Apr 7, 2023 by
omelkonian
More flexible/customizable timeout duration (currently 2secs)
enhancement
New feature or request
#4
opened Mar 31, 2023 by
omelkonian
Run Agsy.Auto on each training sample and only provide successful invocations as training data.
enhancement
New feature or request
#2
opened Mar 30, 2023 by
omelkonian
Figure out how to get the range of each subterm (for type-on-hover)
enhancement
New feature or request
#1
opened Mar 30, 2023 by
omelkonian
ProTip!
Find all open issues with in progress development work with linked:pr.