1 search result for "tag:"keyword: type classes""

Showing 1 - 1
  1. coq-containers

    No documentation

    Containers: a typeclass-based library of finite sets/maps
    keyword: data structures keyword: type classes category: Computer Science/Data Types and Data Structures
    Stéphane Lescuyer
    8.10.0
    Unknown
    Used by 0 other packages
    19 Oct 2020