Skip to main content

projection1_source_real

logicaffeine_cli::compile

Function projection1_source_real 

Source 
pub fn projection1_source_real(
    core_types: &str,
    _interpreter: &str,
    program: &str,
) -> Result<String, String>
Expand description

Real Futamura Projection 1: pe(program) = compiled_program

Encodes the program as CProgram data, runs the LOGOS PE on it, decompiles the residual back to LOGOS source.