hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

Engine: uniformize `ty` VS `typ`

Open W95Psp opened this issue 2 years ago • 2 comments

We have both ty and typ, that's quite irritating, we should pick one

W95Psp avatar Nov 23 '23 10:11 W95Psp

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Oct 04 '24 02:10 github-actions[bot]

Still relevant

W95Psp avatar Oct 07 '24 06:10 W95Psp

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Dec 09 '24 02:12 github-actions[bot]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar May 29 '25 00:05 github-actions[bot]

Not planned: we will deprecate the OCaml engine

W95Psp avatar Jul 10 '25 09:07 W95Psp