Skip to content
This repository has been archived by the owner on Dec 22, 2021. It is now read-only.

Add statically known non-empty collections #9

Closed
wants to merge 2 commits into from

Add unsafeHead and unsafeTail for optimizations

0793e45
Select commit
Loading
Failed to load commit list.
Closed

Add statically known non-empty collections #9

Add unsafeHead and unsafeTail for optimizations
0793e45
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs