probablycorey
0 Followers · 0 Following
  • Joined on 2025-09-25
Repositories
5
 Projects Packages Public Activity Starred Repositories
probablycorey suggested changes for probablycorey/shrimp#27 2025-11-06 21:35:03 +00:00
{ curly strings }

It has grown on me!

probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-06 21:33:04 +00:00
6505031da8 cache it
b9a0f6d485 light cleanup
Compare 2 commits »
probablycorey created branch less-parsing in probablycorey/shrimp 2025-11-06 21:30:04 +00:00
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-06 21:30:04 +00:00
0574629904 cache it
26723b83ff Merge branch 'name-things-better' into less-parsing
44b30d2339 light cleanup
3aa75843ac get rid of this
061452a334 Better names
Compare 7 commits »
probablycorey created pull request probablycorey/shrimp#26 2025-11-06 18:23:37 +00:00
Whoops, I had two things called scopeTracker
probablycorey created pull request probablycorey/shrimp#25 2025-11-06 18:22:15 +00:00
Make the extension know about the prelude
probablycorey created branch name-things-better in probablycorey/shrimp 2025-11-06 18:21:07 +00:00
probablycorey pushed to name-things-better at probablycorey/shrimp 2025-11-06 18:21:07 +00:00
82a97c0a5a Better names
probablycorey created branch extension-update in probablycorey/shrimp 2025-11-06 17:28:53 +00:00
probablycorey pushed to extension-update at probablycorey/shrimp 2025-11-06 17:28:53 +00:00
ab12212df2 Make the extension know about the prelude
probablycorey pushed to main at probablycorey/shrimp 2025-11-06 00:20:30 +00:00
ea01a93563 Merge pull request 'I have extended vscode with an extension' (#23) from vscode into main
dec2f2d094 ok
66fa15595c Merge remote-tracking branch 'origin/main' into vscode
7b4a02ec29 Merge remote-tracking branch 'origin/main' into vscode
4a8aa7421d Merge remote-tracking branch 'origin/main' into vscode
Compare 16 commits »
probablycorey merged pull request probablycorey/shrimp#23 2025-11-06 00:20:29 +00:00
I have extended vscode with an extension
probablycorey pushed to vscode at probablycorey/shrimp 2025-11-06 00:20:25 +00:00
dec2f2d094 ok
66fa15595c Merge remote-tracking branch 'origin/main' into vscode
7b4a02ec29 Merge remote-tracking branch 'origin/main' into vscode
7229f4afd0 Merge pull request 'Add comments to the tree' (#24) from comments-in-tree into main
290ac59cee Update parser stuff
Compare 13 commits »
probablycorey pushed to main at probablycorey/shrimp 2025-11-06 00:19:36 +00:00
7229f4afd0 Merge pull request 'Add comments to the tree' (#24) from comments-in-tree into main
290ac59cee Update parser stuff
b0f6c75427 Merge remote-tracking branch 'origin/main' into comments-in-tree
146d2a22ee get rid of all those Comments
653ff5df10 Fix them tests
Compare 6 commits »
probablycorey merged pull request probablycorey/shrimp#24 2025-11-06 00:19:35 +00:00
Add comments to the tree
probablycorey pushed to comments-in-tree at probablycorey/shrimp 2025-11-06 00:19:25 +00:00
290ac59cee Update parser stuff
b0f6c75427 Merge remote-tracking branch 'origin/main' into comments-in-tree
5ff78d49c1 this fixes a totally different bug
f4a065beae this will work
750ffbbfa8 whee
Compare 15 commits »
probablycorey pushed to comments-in-tree at probablycorey/shrimp 2025-11-06 00:18:39 +00:00
146d2a22ee get rid of all those Comments
probablycorey pushed to vscode at probablycorey/shrimp 2025-11-06 00:17:38 +00:00
4a8aa7421d Merge remote-tracking branch 'origin/main' into vscode
1a3e041001 update reef
600330ba7f Shrimp.run accepts locals
a535dc9605 Shrimp accepts custom globals
0e96911879 add Shrimp class as a nicer way to run code
Compare 9 commits »
probablycorey commented on pull request probablycorey/shrimp#24 2025-11-05 22:51:07 +00:00
Add comments to the tree

YES

probablycorey pushed to vscode at probablycorey/shrimp 2025-11-05 22:49:45 +00:00
03c7bfee39 Track that scope!
fa67c26c0a wip
7589518ca7 wip
e39b67c87c Merge branch 'comments-in-tree' into vscode
f57b1c985e NBD
Compare 5 commits »