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 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
wball commented on issue wball/perga#9 2024-12-08 12:42:38 -08:00
Better pretty printing

Implemented in 8bc8e5e. There's probably still plenty room for improvement, but it is already so much more legible.

wball closed issue wball/perga#9 2024-12-08 12:42:38 -08:00
Better pretty printing
wball pushed to main at wball/perga 2024-12-08 12:41:33 -08:00
8bc8e5e171 better prettyprinting