William Ball

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 »

wball pushed to main at wball/dotfiles

2024-09-02 21:55:48 -07:00

4a5cd2f8f7 no more catppuccin, also added tmux-which-key

603b2c92d8 back on fedora, so switched to adwaita.nvim

c10241632e reorganized misc

Compare 3 commits »

wball pushed to main at wball/dotfiles

2024-08-31 13:12:32 -07:00

7cb90a8687 gtk bookmarks

ee23f6e4bb formatting

Compare 2 commits »

wball pushed to main at wball/lambda

2024-08-28 13:08:11 -07:00

18773b38c0 added examples to README

wball created branch main in wball/lambda

2024-08-28 12:50:21 -07:00

wball pushed to main at wball/lambda

2024-08-28 12:50:21 -07:00

34b468b3af reorganized and added repl

07eba4bb41 ignore dist-newstyle

42c1331809 untyped

wball created repository wball/lambda

2024-08-28 12:50:05 -07:00

wball created branch main in wball/logical-foundations

2024-08-28 12:11:35 -07:00

wball pushed to main at wball/logical-foundations

2024-08-28 12:11:35 -07:00

7c5fd2a4fe added readme

d65d00133f cleaning

ac3210e5ce asdf

afef1b05b2 done with logical foundations

0dd28a077e foo

wball created repository wball/logical-foundations

2024-08-28 12:11:11 -07:00

wball pushed to main at wball/type-theory-and-formal-proofs

2024-08-28 11:53:36 -07:00

ef77c52789 readme

wball created branch main in wball/type-theory-and-formal-proofs

2024-08-28 11:48:54 -07:00

wball pushed to main at wball/type-theory-and-formal-proofs

2024-08-28 11:48:54 -07:00

5145ff724a pi types

65cd3f4787 initial commit; done with ch2

wball created repository wball/type-theory-and-formal-proofs

2024-08-28 11:48:14 -07:00

wball pushed to main at wball/dotfiles

2024-08-25 14:19:23 -07:00

f89e920b91 disabled perl

049e1d066e deleted gtk configs

Compare 2 commits »

wball pushed to main at wball/proof-checker

2024-08-14 14:43:44 -07:00

c4262a10e2 needs a LOT of cleaning, but basics of proof parser working