8000 Making SN an arrow: Further ideas by turion · Pull Request #263 · turion/rhine · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Making SN an arrow: Further ideas #263

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

Jump to bottom
Draft
wants to merge 25 commits into
base: master
Choose a base branch
from
Draft

Making SN an arrow: Further ideas #263

wants to merge 25 commits into from

Conversation

turion
8000 Copy link
Owner
@turion turion commented Nov 14, 2023 •
edited
Loading

Further ideas that didn't find place in the MWP #261

  • Single clock erasure
  • Pattern for Present (basically want idiom brackets)

@turion turion force-pushed the dev_sn_arrow_ideas branch from 9db65a0 to ee48829 Compare November 29, 2023 13:51
@turion turion force-pushed the dev_sn_arrow_ideas branch from ee48829 to bb1a1b5 Compare January 26, 2024 17:30
@turion turion force-pushed the dev_sn_arrow_ideas branch from bb1a1b5 to aaefeae Compare January 26, 2024 17:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@turion
0