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
Closed

Add statically known non-empty collections #9

wants to merge 2 commits into from

Commits on Dec 27, 2016

  1. Add non-empty collections

    @julienrf
    julienrf committed Dec 27, 2016
    Configuration menu
    Copy the full SHA
    094f5bf View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2017

  1. Add unsafeHead and unsafeTail for optimizations

    @julienrf
    julienrf committed Jan 4, 2017
    Configuration menu
    Copy the full SHA
    0793e45 View commit details
    Browse the repository at this point in the history