Skip to content

Issues: jonsterling/JonPRL

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

32 Open 84 Closed
32 Open 84 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

A Module System?
#252 opened Mar 6, 2016 by markfarrell
Formalization of Cubical Type Theory
#251 opened Feb 17, 2016 by markfarrell
2
Try JonPRL
#247 opened Jan 9, 2016 by markfarrell
5
consider switching to "dependent LCF" refiner
#245 opened Oct 16, 2015 by jonsterling
2
Consider switching to typed ABTs
#242 opened Sep 29, 2015 by jonsterling
5
Better error messages
#239 opened Sep 18, 2015 by jonsterling
Document containers, trees, extensions, neighborhoods, etc. documentation
#231 opened Sep 8, 2015 by jonsterling
Canonical-forms tests
#222 opened Aug 29, 2015 by jonsterling
Make JonPRL SML '97 Compatible
#218 opened Aug 27, 2015 by jozefg
3 tasks
7
pattern compilation is broken for multiple bindings bug syntax
#214 opened Aug 23, 2015 by jonsterling
17
Targeted Reduce and Unfold
#208 opened Aug 22, 2015 by jozefg
1
[idea] implement neel's linear type system pie-in-sky
#195 opened Aug 16, 2015 by jonsterling
2
Add exceptions to computation system
#194 opened Aug 16, 2015 by jonsterling
Integrate delta equalities into computation system endorsed
#183 opened Aug 2, 2015 by vrahli
@jozefg
21
tactic arguments tactics
#169 opened Jul 29, 2015 by jonsterling
1
computational effects pie-in-sky
#148 opened Jul 24, 2015 by jonsterling
Potential wrong IH over nats
#125 opened Jul 9, 2015 by david-christiansen
7
Tree interface editor-support pie-in-sky
#117 opened Jul 3, 2015 by david-christiansen
4
signed proof artifacts pie-in-sky
#116 opened Jul 2, 2015 by jonsterling
2
Trivially parsable proof state editor-support
#112 opened Jul 1, 2015 by david-christiansen
3
Add --operator-docs to dump a summary of an operator editor-support
#111 opened Jul 1, 2015 by david-christiansen
Add --tactic-docs to dump a summary of a tactic editor-support
#110 opened Jul 1, 2015 by david-christiansen
Make --list-operators and --list-tactics work on incomplete developments editor-support
#109 opened Jul 1, 2015 by david-christiansen
3
Formalize domain theory theories
#93 opened Jun 27, 2015 by ghost
2
Add documentation for tactics tactics
#83 opened Jun 26, 2015 by david-christiansen
3
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.