Yiyun Liu yiyunliu · he/him
0 followers · 0 following
Repositories
7
 Projects Packages Public activity Starred repositories
yiyunliu pushed to typed-rkt at yiyunliu/nbe-kripke-racket 2025-05-12 00:59:01 -04:00
814d5fa73d Update the README file
yiyunliu pushed to typed-rkt at yiyunliu/nbe-kripke-racket 2025-05-12 00:49:59 -04:00
cc59960e79 Finish adding natural numbers
yiyunliu pushed to typed-rkt at yiyunliu/nbe-kripke-racket 2025-05-11 18:28:46 -04:00
4f2f5b47c0 Add syntax form for ind
yiyunliu pushed to typed-rkt at yiyunliu/nbe-kripke-racket 2025-05-11 17:55:54 -04:00
eb4291f6a0 Add back peano numbers
yiyunliu pushed to typed-rkt at yiyunliu/nbe-kripke-racket 2025-05-10 12:36:09 -04:00
212cbdbceb Implement nbe in typed racket
yiyunliu created branch typed-rkt in yiyunliu/nbe-kripke-racket 2025-05-10 00:33:03 -04:00
yiyunliu pushed to typed-rkt at yiyunliu/nbe-kripke-racket 2025-05-10 00:33:03 -04:00
7bf8bdde48 Start porting to typed racket
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-05-05 00:47:03 -04:00
c2faa6b4b6 Update README
yiyunliu created branch debruijn-levels in yiyunliu/nbe-kripke-racket 2025-05-04 23:54:09 -04:00
yiyunliu pushed to debruijn-levels at yiyunliu/nbe-kripke-racket 2025-05-04 23:54:09 -04:00
92e79a54d3 Finish nbe based on de bruijn levels
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-04-30 01:35:46 -04:00
3631f31346 Make the algorithm lazier
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-04-30 00:26:21 -04:00
5f9b001531 Add natural numbers
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-04-29 18:18:56 -04:00
efbd7bbcd5 minor
94ac3167b9 missing space
Compare 2 commits »
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-04-29 18:17:51 -04:00
d897ccce09 Add README.md
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-04-29 16:38:02 -04:00
f3c2b33d57 Add church numeral test cases
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-04-29 14:27:28 -04:00
4a38f95cab Add some unit test cases
yiyunliu created branch main in yiyunliu/nbe-kripke-racket 2025-04-29 01:59:32 -04:00
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-04-29 01:59:32 -04:00
a9c7c078f7 initial commit
yiyunliu created repository yiyunliu/nbe-kripke-racket 2025-04-29 01:58:45 -04:00
yiyunliu pushed to master at yiyunliu/sp-eta-postpone 2025-04-28 17:41:06 -04:00
4c527c1b81 Fix image