1 search result for "author:"Russell O'Connor <oconnorr@google.com>""

Showing 1 - 1
  1. coq-traversable-fincontainer

    No documentation

    Traversable Functors are Finitary Containers
    keyword: finitary container keyword: traversable functors category: Computer Science/Data Types and Data Structures
    Russell O'Connor <oconnorr@google.com>
    8.10.0
    ASL
    Used by 0 other packages
    07 Dec 2019