Worked on the scala/scala3 and getkyo/kyo repositories, focusing on both type system reliability and documentation clarity. Addressed a crash in Scala 3 involving path-dependent context functions with higher-kinded types by introducing a type-parameter reference check and refining implicit term reference handling, using Scala and applying principles from type theory and functional programming. Added regression tests to ensure ongoing stability for advanced type-level constructs. In the getkyo/kyo project, improved documentation by restructuring the Retry section under Async effects, aligning headings and formatting for better readability and maintainability. Demonstrated attention to detail in both technical implementation and technical writing using Markdown.