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

yiyunliu commented 2025-01-20 20:20:48 -05:00

Owner

Copy link

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

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: yiyunliu/pair-eta#1

No description provided.