William Ball

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 »

wball pushed to main at wball/dotfiles

2024-08-13 15:23:39 -07:00

70c8066d3f switch to wezterm

c27e3e5d61 typst configuration

Compare 2 commits »

wball pushed to main at wball/proof-checker

2024-08-13 14:04:26 -07:00

9cf96669e1 mostly? done with parsing formulas

wball pushed to main at wball/dotfiles

2024-08-12 17:49:31 -07:00

7a85696281 fixed links in readme

wball pushed to main at wball/dotfiles

2024-08-12 17:40:06 -07:00

e6a7c2ead3 initial commit