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/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 »
wball pushed to main at wball/perga 2024-12-10 20:46:47 -08:00
534809bef9 cleaned up peano.pg a bit
wball commented on issue wball/perga#14 2024-12-10 20:38:23 -08:00
Infix (misfix?) operators

f9e0ec40bd got this started, allowing for basic custom infix operators, but there's still more work to do.

  • Update the documentation.
  • Rethink how symbols and identifiers are parsed…
wball pushed to main at wball/perga 2024-12-10 20:32:09 -08:00
f9e0ec40bd infix operators!
wball pushed to main at wball/perga 2024-12-09 22:11:45 -08:00
7dce99e1f8 some category theory