WIP: 𝕎 #25

Closed

rhi wants to merge 8 commits from 𝕎 into 🐉

rhi commented

2023-08-06 05:08:15 -04:00

Owner

fix #20

rhi added 3 commits 2023-08-06 05:08:16 -04:00

cf9bfc2159 example stuff

00fe33716a add W to internal language

96b67abb6f remove some `noLoc`s

rhi force-pushed 𝕎 from 96b67abb6f to f08f7b37b2

2023-08-08 00:30:06 -04:00

Compare

rhi added 2 commits 2023-08-08 06:48:38 -04:00

c7021ade45 add W to parser syntax

2533d24496 add w types to parser

rhi added 1 commit 2023-08-09 05:47:00 -04:00

8a2431b776 add some needed ωs for w-types

i.o.u. linear trees. i'm still thinking

rhi force-pushed 𝕎 from 8a2431b776 to 0d39c1c507

2023-08-12 04:25:47 -04:00

Compare

rhi force-pushed 𝕎 from 0d39c1c507 to 6a0386eae7

2023-08-13 14:55:26 -04:00

Compare

rhi force-pushed 𝕎 from 6a0386eae7 to 7a6c4c61d1

2023-08-21 12:44:05 -04:00

Compare

rhi commented

2023-11-16 15:21:11 -05:00

Author

Owner

when i retry this it will be from scratch

rhi closed this pull request

2023-11-16 15:21:11 -05:00

Pull request closed

Please reopen this pull request to perform a merge.

No reviewers

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#25

No description provided.