Race Williams

https://raquent.in [email protected]

Atlanta, United States CS @ GT; previous gambling, Instagram reels, betel nut addict; current gateware, bloatware, Counter Strike enjoyer; future Coq, Hardcaml, TempleOS forker.

Results 1 issues of


                                            Race Williams

Feat: add annotation LSP code action

4

Closes #2953. Added LSP code action to add explicit type annotations to assignments. Closes #2954. Added LSP code action to add explicit type annotations to module functions. This implementation is...