William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
wball pushed to main at wball/dotfiles 2025-03-05 12:19:16 -08:00
64eb5c7768 swayimg
wball pushed to main at wball/dotfiles 2025-03-05 09:14:31 -08:00
8a81d27f68 use fuzzel for pinentry
wball pushed to main at wball/dotfiles 2025-03-05 00:07:16 -08:00
906f18072c zsh config
wball pushed to main at wball/dotfiles 2025-03-04 22:42:21 -08:00
e8bc2be255 cleaning up; rewrote README
1924c069f0 fixed emacs dir
Compare 2 commits »
wball pushed to main at wball/dotfiles 2025-03-01 21:40:20 -08:00
605dba167e sign tags too
wball pushed to main at wball/dotfiles 2025-03-01 21:26:54 -08:00
4da1046a66 remove breeze gtk
wball pushed to main at wball/dotfiles 2025-03-01 21:22:03 -08:00
e9635762a0 can refer to gpg key by email
wball pushed to main at wball/dotfiles 2025-03-01 21:00:45 -08:00
3f7e93b6ee switch to librewolf; cleaning
wball pushed to main at wball/dotfiles 2025-03-01 13:17:23 -08:00
6d4842b93a breeze gtk
wball pushed to main at wball/dotfiles 2025-03-01 13:17:06 -08:00
1e422e3976 some tweaks
wball pushed to main at wball/dotfiles 2025-02-11 19:03:35 -08:00
7075dad396 switch back to foot
856382b4e4 neotree
14a30c4cb0 iosevkaterm
Compare 3 commits »
wball pushed to main at wball/dotfiles 2025-02-06 20:53:13 -08:00
6d8f842798 misc changes
6d72d48383 small neovim config updates
40c4a311c4 new "caffeine" script
1bd85672d4 wob
0aad7e4c50 migrated to waybar for river
Compare 5 commits »
wball pushed to products at wball/perga 2025-01-26 13:31:47 -08:00
82b2077d4a working on adding full sigma types
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