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

#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