church #1
yiyunliu
commented 2025-01-20 20:20:48 -05:00
Owner
No description provided.
yiyunliu
added 5 commits 2025-01-20 20:20:48 -05:00
Add constants to the reduction semantics
f3718707f2
Add compile
d68df5d0bc
Recover the contra lemmas
9c9ce52b63
Add stub for par compile
7850314935
Refactor the equational theory to use the compile function
36427daa61
yiyunliu
merged commit d9d96d2c8b into main 2025-01-20 20:20:55 -05:00
yiyunliu
referenced this pull request from a commit 2025-01-20 20:20:57 -05:00
Merge pull request 'church' (#1) from church into main
yiyunliu
deleted branch church 2025-01-20 20:21:16 -05:00
Loading…
Add table
Reference in a new issue
No description provided.
Delete branch "church"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?