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
    07 Nov 2023
  2. asai

    No documentation

    A library for constructing and printing compiler diagnostics
    The RedPRL Development Team
    0.3.1
    Apache-2.0
    Used by 1 other packages
    27 Feb 2024
  3. bwd
    Documentation
    Backward lists
    The RedPRL Development Team
    2.3.0
    Apache-2.0
    Used by 4 other packages
    20 Oct 2023
  4. mugen
    Documentation
    Universe levels and universe polymorphism
    The RedPRL Development Team
    0.1.0
    Apache-2.0
    Used by 0 other packages
    29 Dec 2022