nathancartlidge/powertoys-run-unicode

PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!

语言：C# · GitHub 星标：42 · Fork：1

话题：agda-mode · latex · powertoys · powertoys-run · powertoys-run-plugin

在 GitHub 上查看原仓库