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-11-16 23:54:29 -08:00
f5e79c3225 improved beta-equivalence
wball pushed to main at wball/perga 2024-11-15 18:39:58 -08:00
cde850a33a improved usage
wball pushed to main at wball/perga 2024-11-14 22:08:46 -08:00
f1d5fc7574 updated TODOs
wball pushed to main at wball/perga 2024-11-14 22:02:35 -08:00
51d97b15f5 updated TODOs
9ef9a8b6ba converted to Text
c73566d67f many more tests
Compare 3 commits »
wball pushed to main at wball/perga 2024-11-14 19:57:13 -08:00
3715773adc more tests and minor cleanup
wball pushed to main at wball/perga 2024-11-12 11:32:19 -08:00
f9e70ca131 reorganized and started working on unit tests
wball pushed to main at wball/perga 2024-11-12 09:19:59 -08:00
aa05f3025e updated README
wball pushed to main at wball/perga 2024-11-12 01:23:51 -08:00
9e390c0ab6 testing to see if forgejo will render the LaTeX in markdown
wball created branch main in wball/perga 2024-11-12 01:05:53 -08:00
wball pushed to main at wball/perga 2024-11-12 01:05:53 -08:00
05ab942400 added README
84d00a1fb8 improved error messages
8de133095d renamed project
80fb0e8760 findType passing every test I've thrown at it!
39cab7fd3d fixed a sneaky parser bug
Compare 10 commits »
wball created repository wball/perga 2024-11-12 01:04:45 -08:00
wball pushed to main at wball/GroupTheory 2024-10-22 15:05:55 -07:00
64317340dd fixed link in README
wball created branch main in wball/GroupTheory 2024-10-22 15:05:02 -07:00
wball pushed to main at wball/GroupTheory 2024-10-22 15:05:02 -07:00
59f365a261 initial commit
wball created repository wball/GroupTheory 2024-10-22 14:48:37 -07:00
wball pushed to main at wball/Category-Theory 2024-10-13 22:20:07 -07:00
7841632fb6 initial/terminal objects and products
wball created branch main in wball/Category-Theory 2024-10-13 19:36:18 -07:00
wball pushed to main at wball/Category-Theory 2024-10-13 19:36:18 -07:00
ee65359304 added license
1be6e06756 initial commit
wball created repository wball/Category-Theory 2024-10-13 19:33:22 -07:00
wball pushed to main at wball/dotfiles 2024-10-08 21:48:52 -07:00
a04992ea8b optimized loading a bit