nbe-kripke-racket

Author	SHA1	Message	Date
Yiyun Liu	f418c383f3	Add pi types All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2025-05-12 16:28:54 -04:00
Yiyun Liu	da9ea4ed93	Add universes All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2025-05-12 12:07:37 -04:00
Yiyun Liu	755119316b	Add back beta-eta equality All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2025-05-12 11:24:56 -04:00
Yiyun Liu	cc59960e79	Finish adding natural numbers	2025-05-12 00:48:47 -04:00
Yiyun Liu	eb4291f6a0	Add back peano numbers	2025-05-11 17:55:50 -04:00
Yiyun Liu	212cbdbceb	Implement nbe in typed racket	2025-05-10 12:36:00 -04:00
Yiyun Liu	3631f31346	Make the algorithm lazier All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2025-04-30 01:35:39 -04:00
Yiyun Liu	5f9b001531	Add natural numbers All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2025-04-30 00:26:08 -04:00
Yiyun Liu	d897ccce09	Add README.md All checks were successful ci/woodpecker/push/woodpecker Pipeline was successful Details	2025-04-29 18:17:49 -04:00
Yiyun Liu	f3c2b33d57	Add church numeral test cases	2025-04-29 16:37:55 -04:00
Yiyun Liu	4a38f95cab	Add some unit test cases	2025-04-29 14:27:22 -04:00