Check for non-intersection of the union types in traversal.hl.rkt, using the non-intersection implementation from phc-adt. #20 #26

Open
opened 2021-10-04 19:38:34 +01:00 by jsmaniac · 0 comments
jsmaniac commented 2021-10-04 19:38:34 +01:00 (Migrated from github.com)

@jsmaniac opened this issue on 28 Apr 2017

@jsmaniac opened this issue on 28 Apr 2017
Sign in to join this conversation.
No Milestone
No project
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: suzanne.soy/phc-graph#26
No description provided.