William Ball

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

wball pushed to main at wball/dotfiles

2024-10-06 16:41:20 -07:00

44625f1ccf completely rewrote neovim config

48ec97775b fish stuff

Compare 2 commits »

wball pushed to main at wball/dotfiles

2024-09-09 22:49:33 -07:00

70fdabf007 metamath

7a6ee2ba40 improved books and papers scripts for GNOME

5d7e3b92b2 make autopairs better for lisp

Compare 3 commits »