Skip to main content

render

lean_ctx::core::knowledge::agents_md

Function render 

Source 
pub fn render(knowledge: &ProjectKnowledge) -> String
Expand description

The generated section, markers included; empty sections are left out.