Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / digama0/mm0 issues and pull requests
#67 - Bump ini from 1.3.5 to 1.3.8 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#67 - Bump ini from 1.3.5 to 1.3.8 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#67 - Bump ini from 1.3.5 to 1.3.8 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#66 - Default valùe for MAP_FILE
Issue -
State: closed - Opened by Sylvain78 over 3 years ago
- 7 comments
#66 - Default valùe for MAP_FILE
Issue -
State: closed - Opened by Sylvain78 over 3 years ago
- 7 comments
#66 - Default valùe for MAP_FILE
Issue -
State: closed - Opened by Sylvain78 over 3 years ago
- 7 comments
#65 - annotate binders, light doc styling
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 3 comments
#65 - annotate binders, light doc styling
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 3 comments
#65 - annotate binders, light doc styling
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 3 comments
#64 - Proof file syntax formalization and more questions
Issue -
State: closed - Opened by void4 over 3 years ago
- 6 comments
#64 - Proof file syntax formalization and more questions
Issue -
State: closed - Opened by void4 over 3 years ago
- 6 comments
#64 - Proof file syntax formalization and more questions
Issue -
State: closed - Opened by void4 over 3 years ago
- 6 comments
#64 - Proof file syntax formalization and more questions
Issue -
State: closed - Opened by void4 over 3 years ago
- 6 comments
#63 - fix initial load of config
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#63 - fix initial load of config
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#63 - fix initial load of config
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#63 - fix initial load of config
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#62 - Add hover documentation for some builtin callbacks
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
- 2 comments
#62 - Add hover documentation for some builtin callbacks
Pull Request -
State: open - Opened by ml-2 over 3 years ago
#62 - Add hover documentation for some builtin callbacks
Pull Request -
State: open - Opened by ml-2 over 3 years ago
#62 - Add hover documentation for some builtin callbacks
Pull Request -
State: open - Opened by ml-2 over 3 years ago
#61 - Fix minor typos, fix filter function in peano.mm1
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
#61 - Fix minor typos, fix filter function in peano.mm1
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
#61 - Fix minor typos, fix filter function in peano.mm1
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
#61 - Fix minor typos, fix filter function in peano.mm1
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
#60 - mm0-rs/README.md: Provide more details
Pull Request -
State: closed - Opened by david-a-wheeler over 3 years ago
- 1 comment
#60 - mm0-rs/README.md: Provide more details
Pull Request -
State: closed - Opened by david-a-wheeler over 3 years ago
- 1 comment
#60 - mm0-rs/README.md: Provide more details
Pull Request -
State: closed - Opened by david-a-wheeler over 3 years ago
- 1 comment
#60 - mm0-rs/README.md: Provide more details
Pull Request -
State: closed - Opened by david-a-wheeler over 3 years ago
- 1 comment
#59 - MM0 docgen styling
Issue -
State: closed - Opened by digama0 over 3 years ago
- 12 comments
#59 - MM0 docgen styling
Issue -
State: closed - Opened by digama0 over 3 years ago
- 12 comments
#59 - MM0 docgen styling
Issue -
State: closed - Opened by digama0 over 3 years ago
- 12 comments
#58 - Bug: Extra unrelated documentation when hovering over quotes with implicit ax_mp
Issue -
State: closed - Opened by ml-2 over 3 years ago
- 4 comments
#58 - Bug: Extra unrelated documentation when hovering over quotes with implicit ax_mp
Issue -
State: closed - Opened by ml-2 over 3 years ago
- 4 comments
#57 - tree sitter grammars for mm0 and mm1
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#57 - tree sitter grammars for mm0 and mm1
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#57 - tree sitter grammars for mm0 and mm1
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#57 - tree sitter grammars for mm0 and mm1
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#56 - Add hover docs for `!` and `!!` refine syntax
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
- 4 comments
#56 - Add hover docs for `!` and `!!` refine syntax
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
- 4 comments
#56 - Add hover docs for `!` and `!!` refine syntax
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
- 4 comments
#56 - Add hover docs for `!` and `!!` refine syntax
Pull Request -
State: closed - Opened by ml-2 over 3 years ago
- 4 comments
#55 - make server aware of vscode options, add better elab on save option
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#55 - make server aware of vscode options, add better elab on save option
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#55 - make server aware of vscode options, add better elab on save option
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#55 - make server aware of vscode options, add better elab on save option
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#54 - Add package command for vscode-mm0
Issue -
State: closed - Opened by bjorn3 over 3 years ago
#54 - Add package command for vscode-mm0
Issue -
State: closed - Opened by bjorn3 over 3 years ago
#54 - Add package command for vscode-mm0
Issue -
State: closed - Opened by bjorn3 over 3 years ago
#53 - Proposal: add option to apply changes/elab on save
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 17 comments
#53 - Proposal: add option to apply changes/elab on save
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 17 comments
#53 - Proposal: add option to apply changes/elab on save
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 17 comments
#53 - Proposal: add option to apply changes/elab on save
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 17 comments
#52 - Add github actions CI
Pull Request -
State: closed - Opened by digama0 over 3 years ago
#51 - use std for debug formatting
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#51 - use std for debug formatting
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#51 - use std for debug formatting
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#50 - remove shoebill dependency (low priority)
Issue -
State: closed - Opened by ammkrn over 3 years ago
#50 - remove shoebill dependency (low priority)
Issue -
State: closed - Opened by ammkrn over 3 years ago
#49 - mm1 import cycles don't fail nicely
Issue -
State: open - Opened by ammkrn over 3 years ago
- 3 comments
#49 - mm1 import cycles don't fail nicely
Issue -
State: open - Opened by ammkrn over 3 years ago
- 3 comments
#49 - mm1 import cycles don't fail nicely
Issue -
State: open - Opened by ammkrn over 3 years ago
- 3 comments
#49 - mm1 import cycles don't fail nicely
Issue -
State: open - Opened by ammkrn over 3 years ago
- 3 comments
#48 - doc comments for declarations
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#48 - doc comments for declarations
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#48 - doc comments for declarations
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#47 - notation must begin with prec-constant
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 3 comments
#47 - notation must begin with prec-constant
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 3 comments
#47 - notation must begin with prec-constant
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 3 comments
#47 - notation must begin with prec-constant
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 3 comments
#46 - specific use of ref! overflows rust server's stack
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#46 - specific use of ref! overflows rust server's stack
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#46 - specific use of ref! overflows rust server's stack
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#46 - specific use of ref! overflows rust server's stack
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#45 - add enum variant to env_dbg output
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#44 - deep recursion in letrec doesn't terminate with failure
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 5 comments
#44 - deep recursion in letrec doesn't terminate with failure
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 5 comments
#44 - deep recursion in letrec doesn't terminate with failure
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 5 comments
#44 - deep recursion in letrec doesn't terminate with failure
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 5 comments
#43 - Licenses of sub-projects
Issue -
State: closed - Opened by Aeledfyr over 3 years ago
- 3 comments
#43 - Licenses of sub-projects
Issue -
State: closed - Opened by Aeledfyr over 3 years ago
- 3 comments
#43 - Licenses of sub-projects
Issue -
State: closed - Opened by Aeledfyr over 3 years ago
- 3 comments
#43 - Licenses of sub-projects
Issue -
State: closed - Opened by Aeledfyr over 3 years ago
- 3 comments
#42 - impl of EnvDisplay for LispKind prints extra backslashes.
Issue -
State: closed - Opened by ammkrn almost 4 years ago
#42 - impl of EnvDisplay for LispKind prints extra backslashes.
Issue -
State: closed - Opened by ammkrn almost 4 years ago
#42 - impl of EnvDisplay for LispKind prints extra backslashes.
Issue -
State: closed - Opened by ammkrn almost 4 years ago
#42 - impl of EnvDisplay for LispKind prints extra backslashes.
Issue -
State: closed - Opened by ammkrn almost 4 years ago
#41 - README.md: Elaboration of "it is possible for Metamath proofs to derive a contradiction"
Issue -
State: closed - Opened by void4 almost 4 years ago
- 2 comments
#41 - README.md: Elaboration of "it is possible for Metamath proofs to derive a contradiction"
Issue -
State: closed - Opened by void4 almost 4 years ago
- 2 comments
#41 - README.md: Elaboration of "it is possible for Metamath proofs to derive a contradiction"
Issue -
State: closed - Opened by void4 almost 4 years ago
- 2 comments
#41 - README.md: Elaboration of "it is possible for Metamath proofs to derive a contradiction"
Issue -
State: closed - Opened by void4 almost 4 years ago
- 2 comments
#40 - add debug_derive macro, ..lisp::debug
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 1 comment
#40 - add debug_derive macro, ..lisp::debug
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 1 comment
#40 - add debug_derive macro, ..lisp::debug
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 1 comment
#40 - add debug_derive macro, ..lisp::debug
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 1 comment
#39 - handle platform specific deps/behavior
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 4 comments
#38 - initial mm0-rs debug formatting
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 9 comments
#38 - initial mm0-rs debug formatting
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 9 comments
#38 - initial mm0-rs debug formatting
Pull Request -
State: closed - Opened by ammkrn almost 4 years ago
- 9 comments
#37 - Hover output sometimes unfolds defs
Issue -
State: closed - Opened by ammkrn almost 4 years ago
- 5 comments