Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jsiek/deduce issues and pull requests
#72 - Vercel Api
Pull Request -
State: open - Opened by mateidragony 16 days ago
#71 - Testing doc error
Pull Request -
State: open - Opened by mateidragony 16 days ago
- 1 comment
#70 - Testing doc error
Pull Request -
State: closed - Opened by mateidragony 16 days ago
#69 - Add threading into the test suite when checking errors
Pull Request -
State: closed - Opened by Temperz87 16 days ago
- 2 comments
#68 - Doc error test
Pull Request -
State: closed - Opened by mateidragony 17 days ago
#67 - Add markdown doc testing
Pull Request -
State: closed - Opened by mateidragony 17 days ago
- 8 comments
#66 - Typo fix, and add comma suggestion (a la Python)
Pull Request -
State: closed - Opened by HalflingHelper 17 days ago
- 4 comments
#65 - port documention of command line arguments to the new web page
Issue -
State: closed - Opened by jsiek 17 days ago
- 3 comments
#64 - Add make target for releasing
Pull Request -
State: closed - Opened by Temperz87 17 days ago
- 1 comment
#63 - Deduce has no releases!!!
Issue -
State: open - Opened by Temperz87 17 days ago
#62 - parsing error, limit to depth 3
Issue -
State: closed - Opened by jsiek 18 days ago
#61 - Update `README` directory structure
Issue -
State: open - Opened by mateidragony 18 days ago
#60 - rewrite with `all` quantified equality
Issue -
State: closed - Opened by jsiek 18 days ago
Labels: enhancement
#59 - The Site!
Pull Request -
State: closed - Opened by mateidragony 18 days ago
#58 - Document command line arguments
Pull Request -
State: closed - Opened by Temperz87 23 days ago
- 1 comment
#57 - Document command line arguments for `deduce.py`.
Issue -
State: closed - Opened by jsiek 24 days ago
#56 - Automagically find stdlib!!!!!!
Pull Request -
State: closed - Opened by Temperz87 25 days ago
- 2 comments
#55 - Reference duplicate entagled code block name
Pull Request -
State: closed - Opened by mateidragony 28 days ago
- 1 comment
#54 - precedence for iff vs if-then in lalr vs. recursive descent
Issue -
State: open - Opened by jsiek about 1 month ago
#53 - update libraries
Pull Request -
State: closed - Opened by HalflingHelper about 1 month ago
- 1 comment
#52 - No definition and rewrite in syntax
Issue -
State: open - Opened by HalflingHelper about 1 month ago
- 5 comments
Labels: enhancement
#52 - No definition and rewrite in syntax
Issue -
State: open - Opened by HalflingHelper about 1 month ago
Labels: enhancement
#51 - add missing params to type_check_term_inst
Pull Request -
State: closed - Opened by HalflingHelper about 1 month ago
#50 - Patch
Pull Request -
State: closed - Opened by HalflingHelper about 1 month ago
#50 - Patch
Pull Request -
State: closed - Opened by HalflingHelper about 1 month ago
#49 - Add more verbose error for missing `generic` keyword
Pull Request -
State: open - Opened by HalflingHelper about 1 month ago
#49 - Add more verbose error for missing `generic` keyword
Pull Request -
State: closed - Opened by HalflingHelper about 1 month ago
- 5 comments
#48 - More helpful error for missing import
Pull Request -
State: closed - Opened by HalflingHelper about 1 month ago
#48 - More helpful error for missing import
Pull Request -
State: closed - Opened by HalflingHelper about 1 month ago
#47 - Support configuration of library paths
Pull Request -
State: closed - Opened by cty12 about 1 month ago
- 6 comments
#46 - print 42 bad error
Issue -
State: closed - Opened by jsiek about 1 month ago
- 1 comment
#45 - Not seting infix in every case
Issue -
State: closed - Opened by HalflingHelper about 2 months ago
- 1 comment
#44 - Suffices terminst advice
Pull Request -
State: closed - Opened by HalflingHelper about 2 months ago
- 10 comments
#43 - emacs syntax highlighting, `--` should not start a comment
Issue -
State: open - Opened by jsiek about 2 months ago
#42 - More suffices advice stuff
Issue -
State: open - Opened by HalflingHelper about 2 months ago
- 10 comments
#41 - Add grammar rule for lists of type annotations
Pull Request -
State: closed - Opened by HalflingHelper 2 months ago
- 1 comment
#40 - Internal Error
Issue -
State: closed - Opened by HalflingHelper 2 months ago
- 5 comments
Labels: bug
#39 - Make the tester automatically delete .thm files
Pull Request -
State: closed - Opened by Temperz87 3 months ago
- 1 comment
#38 - Create blah.txt
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
- 3 comments
#38 - Create blah.txt
Pull Request -
State: open - Opened by HalflingHelper 3 months ago
#37 - Remove Marks Fix
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
#37 - Remove Marks Fix
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
#36 - Enable weirdness
Issue -
State: open - Opened by HalflingHelper 3 months ago
Labels: bug
#36 - Enable weirdness
Issue -
State: open - Opened by HalflingHelper 3 months ago
Labels: bug
#35 - 🪲 Added test case and fixed induction issue
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
#35 - 🪲 Added test case and fixed induction issue
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
#34 - Induciton doesn't update positions for alls
Issue -
State: closed - Opened by HalflingHelper 3 months ago
Labels: bug
#34 - Induciton doesn't update positions for alls
Issue -
State: closed - Opened by HalflingHelper 3 months ago
Labels: bug
#33 - All intro fix printing
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
- 2 comments
#33 - All intro fix printing
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
- 2 comments
#32 - Add command line argument for printing internal stack trace
Issue -
State: closed - Opened by HalflingHelper 3 months ago
Labels: enhancement
#32 - Add command line argument for printing internal stack trace
Issue -
State: closed - Opened by HalflingHelper 3 months ago
Labels: enhancement
#31 - All Simplification and Errors
Pull Request -
State: closed - Opened by HalflingHelper 3 months ago
- 4 comments
#30 - I forgot to fix this in the testing script
Pull Request -
State: closed - Opened by Temperz87 3 months ago
- 2 comments
#29 - Gooder testing
Pull Request -
State: closed - Opened by Temperz87 3 months ago
- 1 comment
#28 - Error when trying to overload something that is not a function
Issue -
State: closed - Opened by jsiek 3 months ago
- 1 comment
#28 - Error when trying to overload something that is not a function
Issue -
State: closed - Opened by jsiek 3 months ago
- 1 comment
#27 - Error Messages Unclear wrt Theorem type instantiation
Issue -
State: closed - Opened by HalflingHelper 3 months ago
- 1 comment
Labels: enhancement
#27 - Error Messages Unclear wrt Theorem type instantiation
Issue -
State: closed - Opened by HalflingHelper 3 months ago
- 1 comment
Labels: enhancement
#26 - Int parsing
Pull Request -
State: closed - Opened by mateidragony 4 months ago
- 3 comments
#25 - I think this is another Overloading error...
Issue -
State: closed - Opened by mateidragony 4 months ago
- 1 comment
Labels: bug
#24 - Integers!!!
Pull Request -
State: closed - Opened by mateidragony 4 months ago
- 1 comment
#23 - Overloads Mess Up in Imports and in Proofs
Issue -
State: closed - Opened by HalflingHelper 4 months ago
- 1 comment
#22 - Cj/sub thms
Pull Request -
State: closed - Opened by HalflingHelper 4 months ago
- 1 comment
#21 - Update introduction md files to include list syntax
Pull Request -
State: closed - Opened by mateidragony 4 months ago
- 1 comment
#20 - Define syntax sugar for list construction
Pull Request -
State: closed - Opened by mateidragony 4 months ago
- 3 comments
#19 - Make deduce able to process directories
Pull Request -
State: closed - Opened by Temperz87 4 months ago
- 1 comment
#18 - undefined variable `Nat` (uniquify) only when processing multiple files
Issue -
State: closed - Opened by Temperz87 4 months ago
- 4 comments
#17 - incorrect induction hypothesis in advice for induction
Issue -
State: closed - Opened by jsiek 4 months ago
- 1 comment
#16 - If and Only If
Pull Request -
State: closed - Opened by HalflingHelper 4 months ago
- 3 comments
#16 - If and Only If
Pull Request -
State: closed - Opened by HalflingHelper 4 months ago
- 3 comments
#15 - Update README
Pull Request -
State: closed - Opened by mateidragony 4 months ago
#14 - Define Syntax Sugar for List Construction
Issue -
State: closed - Opened by mateidragony 4 months ago
Labels: enhancement
#13 - Add induction advice alongside arbitraries
Pull Request -
State: closed - Opened by Temperz87 4 months ago
#12 - Nonexistant case printing in error message
Issue -
State: closed - Opened by Temperz87 4 months ago
- 1 comment
#11 - Overloading Doesn't Play Nice with Generics
Issue -
State: open - Opened by HalflingHelper 5 months ago
- 1 comment
Labels: bug
#10 - Change how command lines arguments get parsed
Pull Request -
State: closed - Opened by Temperz87 5 months ago
#9 - Make deduce able to operate on multiple files
Issue -
State: closed - Opened by Temperz87 5 months ago
- 3 comments
Labels: enhancement
#8 - Gooder paths
Pull Request -
State: closed - Opened by Temperz87 5 months ago
- 2 comments
#7 - Adding a test for redefinition of variables
Pull Request -
State: closed - Opened by HalflingHelper 5 months ago
- 1 comment
#6 - Add verbose command line arg
Pull Request -
State: closed - Opened by Temperz87 5 months ago
#5 - Update abstract_syntax.py
Pull Request -
State: closed - Opened by HalflingHelper 5 months ago
#4 - public/private with respect to import
Issue -
State: open - Opened by jsiek 5 months ago
- 1 comment
Labels: enhancement
#3 - Only overloading functional values
Pull Request -
State: closed - Opened by HalflingHelper 5 months ago
#2 - Overloading Creates Issues for Variables that aren't functions
Issue -
State: closed - Opened by HalflingHelper 5 months ago
- 1 comment
#1 - comments can work at the end of files now
Pull Request -
State: closed - Opened by HalflingHelper 6 months ago