Documentation

Lean.Compiler.FFI

Return C compiler flags for including Lean's headers.

Equations
Instances For

    Return linker flags for linking against Lean's libraries.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For