William Ball wball
  • Joined on 2024-08-04
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
wball pushed to main at wball/perga 2024-12-06 21:25:16 -08:00
7f9d029ff9 optimized peano.pg a bit
wball pushed to main at wball/perga 2024-12-06 16:30:56 -08:00
832af2271f right inverse unique
wball pushed to main at wball/perga 2024-12-06 15:59:36 -08:00
310c144b76 refactoring of algebra.pg, also fixed minor bug
wball pushed to main at wball/perga 2024-12-06 15:37:15 -08:00
da0fff8070 switched back to markdown, since not using TODOs anymore