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-01-05 11:17:18 -08:00
144a645e13 config.fish
wball pushed to main at wball/perga 2025-01-05 11:16:49 -08:00
dc2a715531 some algebra
wball pushed to main at wball/dotfiles 2025-01-02 08:36:09 -08:00
ba9f64d1a3 fish
c5d494802e some neovim config updates
Compare 2 commits »
wball pushed to main at wball/perga 2024-12-23 09:58:43 -08:00
08ef684418 added changing section variables via '#', reworked algebra.pg to use
wball pushed to main at wball/perga.nvim 2024-12-21 05:00:50 -08:00
f30456c249 updated queries after removing variable_binding
wball pushed to main at wball/tree-sitter-perga 2024-12-14 11:11:13 -08:00
b646790fdb slightly simplified grammar
wball pushed to main at wball/perga.nvim 2024-12-14 11:10:34 -08:00
4d3b1fdcc7 minor changes to highlights
wball pushed to main at wball/perga 2024-12-13 22:50:00 -08:00
dbf4b88738 some algebra
wball commented on issue wball/perga#14 2024-12-13 22:12:24 -08:00
Infix (misfix?) operators

Found a bug: fixity declarations are not respected in the REPL. Will probably want the parser wrapper to return the state as well (i.e. switch to runStateT from evalStateT), so the REPL can…

wball pushed to main at wball/perga.nvim 2024-12-11 23:29:01 -08:00
e5d8affe5e switch back to actual repo
wball pushed to main at wball/perga.nvim 2024-12-11 18:22:10 -08:00
0e1b742040 support experimental lightweight function syntax
wball pushed to main at wball/tree-sitter-perga 2024-12-11 18:21:59 -08:00
63f0f27240 support experimental lightweight function syntax
wball pushed to main at wball/perga 2024-12-11 14:13:22 -08:00
cf26b7c9ec trying out new lightweight Automathy function syntax
wball pushed to main at wball/perga 2024-12-11 13:26:20 -08:00
1ed998c025 fixed minor bug in dedupNames
wball pushed to main at wball/perga.nvim 2024-12-10 23:40:20 -08:00
113cca2caa operator sections
wball pushed to main at wball/tree-sitter-perga 2024-12-10 23:40:03 -08:00
483fa6ec49 operator sections
wball commented on issue wball/perga#14 2024-12-10 23:39:18 -08:00
Infix (misfix?) operators

Basic Haskell operator syntax added in e6f9d71c57, but we'll have to wait for type inference in #2 to get full operator sections.

wball pushed to main at wball/perga 2024-12-10 23:38:26 -08:00
e6f9d71c57 basic haskell operator syntax
wball pushed to main at wball/perga.nvim 2024-12-10 21:42:08 -08:00
70792b9f13 infix operators
wball pushed to main at wball/tree-sitter-perga 2024-12-10 21:40:51 -08:00
4131069cd4 infix operators
3834eb6f0a sections
Compare 2 commits »