William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
wball pushed to products at wball/perga 2025-01-25 10:40:50 -08:00
5994096bb1 Reverted back to commit 2c1f193d77
6b965fda1d Revert "starting progress on (non-dependent) products"
1544a33644 working on parser
Compare 3 commits »
wball opened issue wball/perga#19 2025-01-24 14:58:38 -08:00
Some bugs/enhancements in/for the REPL
wball commented on issue wball/perga#6 2025-01-24 01:05:41 -08:00
Proper sigma types

Working on products in its own branch. Currently support non-dependent products with a very temporary placeholder syntax. One very nice consequence of natively supporting products rather than…

wball deleted branch devel from wball/perga 2025-01-24 01:00:24 -08:00
wball pushed to products at wball/perga 2025-01-24 01:00:17 -08:00
2c1f193d77 starting progress on (non-dependent) products
wball created branch products in wball/perga 2025-01-24 01:00:17 -08:00
wball pushed to devel at wball/perga 2025-01-24 00:58:38 -08:00
wball created branch devel in wball/perga 2025-01-24 00:58:38 -08:00
wball pushed to devel at wball/perga 2025-01-24 00:58:38 -08:00
wball created branch devel in wball/perga 2025-01-24 00:58:38 -08:00
wball deleted branch devel from wball/perga 2025-01-24 00:56:02 -08:00
wball pushed to devel at wball/perga 2025-01-24 00:51:19 -08:00
wball created branch devel in wball/perga 2025-01-24 00:51:19 -08:00
wball pushed to main at wball/perga 2025-01-12 21:03:34 -08:00
52ce107a04 cleaned up algebra, getting ready for more updates
wball pushed to main at wball/dotfiles 2025-01-12 13:17:19 -08:00
da16936d07 testing?
wball pushed to main at wball/dotfiles 2025-01-11 23:21:39 -08:00
dd71aac4d8 got rid of neovide stuff in nvim config
wball pushed to main at wball/dotfiles 2025-01-11 23:20:06 -08:00
046e5681c4 how about now?
wball pushed to main at wball/dotfiles 2025-01-11 23:17:33 -08:00
2f9307a591 will this work?
2e5675298d screwed up signing stuff
907c3bf717 minor updates to README
Compare 3 commits »
wball pushed to main at wball/dotfiles 2025-01-11 23:14:31 -08:00
407a08a2a7 minor updates to README
dfbb1c9dff added gpg key to git config
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-01-11 01:01:31 -08:00
75dc6b1b9c added padding to kitty