Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
Add a basic GH workflow
July 21, 2023 08:28
tests
pass formatting options to formatting! function
July 28, 2023 09:46
.gitignore
adding debug logging and saving file
April 17, 2021 13:07
LICENSE
Added license
May 23, 2018 19:23
README.md
Incorporating advice from #8
March 26, 2023 08:26
autocomplete.rkt
formatting after fix indenter
July 31, 2021 06:23
check-syntax.rkt
Report version mismatch errors found by expansions
July 21, 2023 08:29
debug.rkt
formatting after fix indenter
July 31, 2021 06:23
doc-trace.rkt
clear code
July 10, 2023 20:52
doc.rkt
fix type error in textDocument/formatting
October 18, 2023 06:52
docs-helpers.rkt
show documentation in hover response
January 1, 2022 08:51
documentation-parser.rkt
show documentation in hover response
January 1, 2022 08:51
editor.rkt
fix type error in textDocument/formatting
October 18, 2023 06:52
error-codes.rkt
formatting all
July 30, 2021 14:52
info.rkt
Refine package dependency
July 21, 2023 08:28
interfaces.rkt
clear code
July 10, 2023 20:52
json-util.rkt
Remove dependency on syntax/parse/experimental/template
July 24, 2023 07:59
main.rkt
remove unused require
July 10, 2023 20:52
methods.rkt
add tests, comments, some newlines
February 3, 2023 14:14
monitor.rkt
isolate check-syntax
July 10, 2023 20:52
msg-io.rkt
isolate check-syntax
July 10, 2023 20:52
path-util.rkt
remove the limit that URI must be a file URI
September 7, 2023 08:34
responses.rkt
formatting all
July 30, 2021 14:52
scheduler.rkt
code review feedback
July 10, 2023 20:52
struct.rkt
rename FormattingOptions fields to racket style
August 10, 2023 07:32
symbol-kinds.rkt
formatting all
July 30, 2021 14:52
text-document.rkt
remove the limit that URI must be a file URI
September 7, 2023 08:34