η 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 Label

No Milestone

No Assignees

1 Participants

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.