probablycorey
0 Followers · 0 Following
  • Joined on 2025-09-25
Repositories
8
 Projects Packages Public Activity Starred Repositories
probablycorey pushed to main at probablycorey/shrimp 2025-11-07 00:57:49 +00:00
bd1dbe75f3 Merge pull request 'Make the extension know about the prelude' (#25) from extension-update into main
669e58b71e Merge branch 'extension-update' of 54.219.130.253:probablycorey/shrimp into extension-update
152aac269f Merge remote-tracking branch 'origin/main' into extension-update
a428e98d41 Merge branch 'main' into extension-update
ab12212df2 Make the extension know about the prelude
Compare 5 commits »
probablycorey merged pull request probablycorey/shrimp#25 2025-11-07 00:57:48 +00:00
Make the extension know about the prelude
probablycorey pushed to extension-update at probablycorey/shrimp 2025-11-07 00:57:29 +00:00
669e58b71e Merge branch 'extension-update' of 54.219.130.253:probablycorey/shrimp into extension-update
152aac269f Merge remote-tracking branch 'origin/main' into extension-update
Compare 2 commits »
probablycorey pushed to extension-update at probablycorey/shrimp 2025-11-07 00:56:10 +00:00
a428e98d41 Merge branch 'main' into extension-update
7645efc4f9 Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
47c3fda4c8 use string.quoted for strings (for now) (until defunkt gets a new vscode theme)
Compare 3 commits »
probablycorey created pull request probablycorey/shrimp#28 2025-11-06 21:38:19 +00:00
Cache the parsing
probablycorey pushed to less-parsing at probablycorey/shrimp 2025-11-06 21:37:17 +00:00
d6aea4b0f9 cache it
44b30d2339 light cleanup
3aa75843ac get rid of this
7645efc4f9 Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
47c3fda4c8 use string.quoted for strings (for now) (until defunkt gets a new vscode theme)
Compare 5 commits »
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 »