Yiyun Liu yiyunliu · he/him
0 followers · 0 following
Repositories
4
 Projects Packages Public activity Starred repositories
yiyunliu created branch tstar in yiyunliu/sp-eta-postpone 2025-01-27 16:45:01 -05:00
yiyunliu pushed to tstar at yiyunliu/sp-eta-postpone 2025-01-27 16:45:01 -05:00
9f80013df6 Add tstar to preserve eta normal forms
yiyunliu pushed to church-boolean-sep at yiyunliu/pair-eta 2025-01-24 16:58:40 -05:00
398a18d770 Finish renaming
yiyunliu created branch church-boolean-sep in yiyunliu/pair-eta 2025-01-24 16:54:14 -05:00
yiyunliu pushed to church-boolean-sep at yiyunliu/pair-eta 2025-01-24 16:54:14 -05:00
255bd4acbf Rename the term constructors
yiyunliu created branch church-boolean in yiyunliu/pair-eta 2025-01-20 20:42:46 -05:00
yiyunliu pushed to church-boolean at yiyunliu/pair-eta 2025-01-20 20:42:46 -05:00
1f7460fd11 Add new syntax for booleans
yiyunliu deleted branch church from yiyunliu/pair-eta 2025-01-20 20:21:16 -05:00
yiyunliu pushed to main at yiyunliu/pair-eta 2025-01-20 20:20:57 -05:00
d9d96d2c8b Merge pull request 'church' (#1) from church into main
36427daa61 Refactor the equational theory to use the compile function
7850314935 Add stub for par compile
9c9ce52b63 Recover the contra lemmas
d68df5d0bc Add compile
Compare 6 commits »
yiyunliu merged pull request yiyunliu/pair-eta#1 2025-01-20 20:20:55 -05:00
church
yiyunliu created pull request yiyunliu/pair-eta#1 2025-01-20 20:20:48 -05:00
church
yiyunliu pushed to church at yiyunliu/pair-eta 2025-01-20 20:12:32 -05:00
36427daa61 Refactor the equational theory to use the compile function
yiyunliu pushed to church at yiyunliu/pair-eta 2025-01-20 16:49:58 -05:00
7850314935 Add stub for par compile
yiyunliu pushed to church at yiyunliu/pair-eta 2025-01-20 16:28:50 -05:00
9c9ce52b63 Recover the contra lemmas
yiyunliu pushed to church at yiyunliu/pair-eta 2025-01-20 15:33:52 -05:00
d68df5d0bc Add compile
yiyunliu created branch church in yiyunliu/pair-eta 2025-01-20 13:56:52 -05:00
yiyunliu pushed to church at yiyunliu/pair-eta 2025-01-20 13:56:52 -05:00
f3718707f2 Add constants to the reduction semantics