Yiyun Liu yiyunliu · he/him
0 followers · 0 following
Repositories
7
 Projects Packages Public activity Starred repositories
yiyunliu pushed to master at yiyunliu/info-page 2025-06-03 13:08:21 -04:00
9e3d7210d3 Add updated inductive.pdf
yiyunliu pushed to master at yiyunliu/info-page 2025-06-03 00:31:53 -04:00
5b0d271313 Add updated repl notes
yiyunliu pushed to master at yiyunliu/info-page 2025-06-01 23:46:33 -04:00
09e7177980 Add repl notes
yiyunliu pushed to main at yiyunliu/floating-levels 2025-05-30 18:09:40 -04:00
60555037bc Finish upgrading
yiyunliu pushed to main at yiyunliu/floating-levels 2025-05-30 17:11:00 -04:00
fcdbee2a91 Prove selected upgrade
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-30 16:44:04 -04:00
cc24f42e91 Minor
yiyunliu pushed to develop at yiyunliu/nbe-kripke-racket 2025-05-30 16:42:25 -04:00
9dc599396a Tighten up the signature
yiyunliu pushed to main at yiyunliu/floating-levels 2025-05-29 16:59:05 -04:00
a28b7fd808 Add comments
yiyunliu pushed to main at yiyunliu/floating-levels 2025-05-29 16:35:53 -04:00
40cedc388f Add renaming
yiyunliu created branch main in yiyunliu/floating-levels 2025-05-29 13:51:31 -04:00
yiyunliu pushed to main at yiyunliu/floating-levels 2025-05-29 13:51:31 -04:00
c28102c0f0 Initial commit
yiyunliu created repository yiyunliu/floating-levels 2025-05-29 13:51:16 -04:00
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-28 20:47:01 -04:00
c17995f97d Fix indent
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-28 00:00:32 -04:00
a46cc06335 Add more helper functions for the stepping relation
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-27 23:19:08 -04:00
30133f80e7 Add tests
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-26 01:02:06 -04:00
4d186e6b2b Add the compilation function
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-25 22:46:56 -04:00
92e42ef26e Add function for initializing heap
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-25 22:16:08 -04:00
f3b2d11279 Add semantics
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-25 01:21:47 -04:00
572d95f108 Forgot to commit
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-05-24 20:20:38 -04:00
7d0135ed25 Add pretty printer (still wip)