church #1

Merged

yiyunliu merged 5 commits from church into main 2025-01-20 20:20:55 -05:00

Conversation 0 Commits 5 Files changed 5 +411 -172

5 commits

Author	SHA1	Message	Date
Yiyun Liu	36427daa61	Refactor the equational theory to use the compile function	2025-01-20 20:11:51 -05:00
Yiyun Liu	7850314935	Add stub for par compile	2025-01-20 16:49:47 -05:00
Yiyun Liu	9c9ce52b63	Recover the contra lemmas	2025-01-20 16:28:44 -05:00
Yiyun Liu	d68df5d0bc	Add compile	2025-01-20 15:33:46 -05:00
Yiyun Liu	f3718707f2	Add constants to the reduction semantics	2025-01-20 13:56:40 -05:00