glen/archematics
1
0
Fork 0
Code Issues 17 Pull Requests Packages Projects 1 Releases 2 Wiki Activity

Take advantage of Civet as tuple #78

New Issue
Open
opened 2024-03-05 04:02:36 +00:00 by glen · 0 comments
glen commented 2024-03-05 04:02:36 +00:00
Owner
Copy Link

The conway.civet source file has a function for tupling, named by the unicode thorn character ð, which exists solely for the sake of TypeScript typing of tuples. Civet now has a builtin "as tuple" construct. See if this construct can be used to eliminate ð.

The conway.civet source file has a function for tupling, named by the unicode thorn character ð, which exists solely for the sake of TypeScript typing of tuples. Civet now has a builtin "as tuple" construct. See if this construct can be used to eliminate ð.
glen added the
refactor
 label 2024-03-05 04:02:36 +00:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels   
Prototype

A task that does not directly add a feature or fix a bug but explores the route thereto

  
bug

Something is not working

  
duplicate

This issue or pull request already exists

  
enhancement

New feature

  
help wanted

Need some help

  
invalid

Something is wrong

  
question

More information is needed

  
refactor

Internal change needed for future work, without immediate behavioral change

  
waiting

Does not appear any further work needed on our part at the moment; awaiting upstream events.

  
wontfix

This won't be fixed

No Label
Prototype
bug
duplicate
enhancement
help wanted
invalid
question
refactor
waiting
wontfix
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
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: glen/archematics#78
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?