η for boxes #27

New issue

Closed

opened 2023-08-26 12:52:25 -04:00 by rhi · 0 comments

rhi commented

Owner

             e ⇒ [ρ.A]
----------------------------------------
  e = [case1 e return A of {[x] ⇒ x}]

``` e ⇒ [ρ.A] ---------------------------------------- e = [case1 e return A of {[x] ⇒ x}] ```

rhi added the

label 2023-08-26 12:52:30 -04:00

rhi referenced this issue from a commit

η for box

rhi closed this issue

No labels

No milestone

No project

No assignees

1 participant

Notifications

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: rhi/quox#27

No description provided.