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 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
wball pushed to main at wball/perga 2024-12-08 22:00:50 -08:00
a3cd366379 updated README
wball pushed to main at wball/perga 2024-12-08 21:57:45 -08:00
d15b53da1e minor cleanup
wball commented on issue wball/perga#17 2024-12-08 21:43:17 -08:00
Improve performance

Turns out the culprit was the parser! Fixed with 95a4d822b.

wball closed issue wball/perga#17 2024-12-08 21:43:17 -08:00
Improve performance
wball pushed to main at wball/perga 2024-12-08 21:42:47 -08:00
95a4d822b6 drastically sped up parser
wball opened issue wball/perga#17 2024-12-08 20:41:09 -08:00
Improve performance
wball pushed to main at wball/perga 2024-12-08 20:17:45 -08:00
6f34793ba2 proved initial objects unique
wball closed issue wball/perga#16 2024-12-08 19:38:32 -08:00
Nested Sections not quite working
wball commented on issue wball/perga#16 2024-12-08 19:38:31 -08:00
Nested Sections not quite working

Solved by fbfd889

wball pushed to main at wball/perga 2024-12-08 19:38:07 -08:00
fbfd8891bb solved #16
wball opened issue wball/perga#16 2024-12-08 19:25:13 -08:00
Nested Sections not quite working
wball pushed to main at wball/perga 2024-12-08 17:40:45 -08:00
78cfd611b6 shoes and socks
wball pushed to main at wball/perga 2024-12-08 16:11:42 -08:00
950e132fcf fixed some sneaky bugs