4 search results for "author:"The RedPRL Development Team""

Showing 1 - 4
  1. algaeff
    Documentation
    Reusable Effects-Based Components
    The RedPRL Development Team
    2.0.0
    Apache-2.0
    Used by 3 other packages
    Added to opam-repository
  2. asai
    Documentation
    A library for constructing and printing compiler diagnostics
    The RedPRL Development Team
    0.3.1
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  3. bwd
    Documentation
    Backward lists
    The RedPRL Development Team
    2.3.0
    Apache-2.0
    Used by 4 other packages
    Added to opam-repository
  4. mugen
    Documentation
    Universe levels and universe polymorphism
    The RedPRL Development Team
    0.1.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository