Skip to content

Instantly share code, notes, and snippets.

@nmorse

nmorse/some-stack-play.pounce

Created August 17, 2022 15:34
Show Gist options
  • Save nmorse/aff9450445c88c4ae84d9a1a5ef6dcab to your computer and use it in GitHub Desktop.
Save nmorse/aff9450445c88c4ae84d9a1a5ef6dcab to your computer and use it in GitHub Desktop.
Download ZIP
can this stuff be dependently typed and proven not to violate stack norms
Raw
some-stack-play.pounce
2 4 a d f g 7 depth [[[drop] dip] dip] swap 2 - times # g 7
2 4 a d f g 7 depth [[drop] dip2] swap 2 - times # same
2 4 a d f g 7 depth [drop] swap 2 - times # 2 4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment