swift-pterodactyl/Sources/PterodactylLanguageServer/ at main · jonmsterling.com/swift-pterodactyl

jonmsterling.com / swift-pterodactyl

this repo has no description www.jonmsterling.com/01HC/

dependent-types proof-assistant swift

swift-pterodactyl / Sources / PterodactylLanguageServer /

at main 1 folder 7 files

Use FeedbackState.lspInlayHints instead of duplicating the logic inline

4 weeks ago

AbsolutePath+URI.swift

Formatting

1 month ago

Feedback+LanguageServerProtocol.swift

Move feedbacks/diagnostics into their own target

3 weeks ago

LLBDeclFileTree+Singleton.swift

Move a file: this is actually used

4 weeks ago

Make FileLogHandler resilient to file open failures, logging a warning to stderr

4 weeks ago

PterodactylServer.swift

Updating copyright headers for 2026

2 months ago

PterodactylServerActor.swift

PterodactylBuild: reorganising files and namespaces

3 weeks ago

Workspace.swift

Extract Workspace into its own file

4 weeks ago