Worked on the idris-lang/Idris2 repository to enhance the quality and usability of the Idris2 library documentation. Focused on improving clarity and accuracy by correcting typos and grammatical errors across multiple modules, ensuring that API references and usage examples were consistent and easy to follow. Employed skills in documentation and proof engineering, leveraging expertise in Idris to maintain alignment with established documentation standards. The updates did not alter runtime behavior but contributed to a smoother onboarding process for new developers and reduced support queries. This work emphasized careful review and attention to detail, supporting the overall reliability of the Idris2 project.