Yiyun Liu yiyunliu · he/him
0 followers · 0 following
Repositories
7
 Projects Packages Public activity Starred repositories
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-24 14:03:59 -04:00
bb0e9f68a8 Add FFI to untyped parser
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-24 13:21:21 -04:00
1507c6c40f Add file for AST
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-24 02:04:54 -04:00
7776723a77 Finish the parser
yiyunliu created branch master in yiyunliu/core-in-racket 2025-05-23 01:48:43 -04:00
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-23 01:48:43 -04:00
7fe75654d9 Add lexer and parser
yiyunliu created repository yiyunliu/core-in-racket 2025-05-23 01:48:31 -04:00
yiyunliu pushed to master at yiyunliu/sp-eta-postpone 2025-05-20 14:42:45 -04:00
d2576f21fc Add back preservation lemma for ered
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-13 19:13:52 -04:00
c6528de647 Remove levels from the universe
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-13 17:08:52 -04:00
f5fe22c419 Minor
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-13 16:43:06 -04:00
193be1168e Add stub for the typechecker
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-13 16:03:44 -04:00
1d04feebec Add missing case for lambdas
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-13 15:38:17 -04:00
ff0e48af95 Port Coquand's algorithm to the semantic domain
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-12 16:57:50 -04:00
31e29cf18e Add more exports
f418c383f3 Add pi types
Compare 2 commits »
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-05-12 16:29:00 -04:00
f418c383f3 Add pi types
yiyunliu created branch develop in yiyunliu/nbe-kripke-racket 2025-05-12 12:14:30 -04:00
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-12 12:14:30 -04:00
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-05-12 12:08:39 -04:00
da9ea4ed93 Add universes
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-05-12 11:26:45 -04:00
755119316b Add back beta-eta equality
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-05-12 01:00:51 -04:00
aa233cc86b Minor
yiyunliu pushed to main at yiyunliu/nbe-kripke-racket 2025-05-12 01:00:12 -04:00
fc5acfe9a0 Merge branch 'typed-rkt'
814d5fa73d Update the README file
cc59960e79 Finish adding natural numbers
4f2f5b47c0 Add syntax form for ind
eb4291f6a0 Add back peano numbers
Compare 8 commits »