G github.com Len – types, relations, and generation contracts for LLM codegen 2 points divingstar 7 months ago 4 comments