William Ball

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

wball pushed to main at wball/proof-checker

2024-08-14 10:14:00 -07:00

82213f0df8 reorganization in preparation for ProofParser

wball pushed to main at wball/proof-checker

2024-08-13 18:55:46 -07:00

68de6a806b added negation and cleaned up/fixed parsing

wball pushed to main at wball/proof-checker

2024-08-13 16:14:43 -07:00

607b9f1d7d fixed parser ignoring tokens and flipped associativity the right way round

55a1a9ce0a pretty printer now respects associativity

Compare 2 commits »