Skip to content

feat: scopes#393

Open
arthurpaulino wants to merge 1 commit intomainfrom
ap/scopes
Open

feat: scopes#393
arthurpaulino wants to merge 1 commit intomainfrom
ap/scopes

Conversation

@arthurpaulino
Copy link
Copy Markdown
Contributor

@arthurpaulino arthurpaulino commented Nov 16, 2024

  • Implement scope, scope-store and scope-pop meta commands
  • Cache target microchain on the REPL so related meta commands are less verbose
  • Remove workaround on the microchain server code to support legacy microchains

@arthurpaulino arthurpaulino force-pushed the ap/scopes branch 4 times, most recently from 52d595a to ba18897 Compare November 16, 2024 15:16
* Implement `scope`, `scope-store` and `scope-pop` meta commands
* Cache target microchain on the REPL so related meta commands are
  less verbose
* Remove workaround on the microchain server code to support legacy
  microchains
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant