swift-pterodactyl/Sources/PterodactylSyntax/ 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 / PterodactylSyntax /

at main 14 files

Move feedbacks/diagnostics into their own target

3 weeks ago

FoldingRanges.swift

Use visibleUtf16Range for provenance

1 month ago

ImportParser.swift

Add a documentation comment

1 month ago

The lexer should go past newlines when looking for the layout column

2 days ago

Refactoring elaboration queries to return a delta

1 month ago

ParseState.swift

Diagnostic: rename initialiser parameter to match property

3 days ago

Getting program declarations working

2 days ago

SemanticToken.swift

Formatting

1 month ago

SyntaxCursor.swift

Further cleanup and logic fixes

2 weeks ago

SyntaxTree.swift

Formatting

1 month ago

SyntaxTreeBuilder.swift

Formatting

1 month ago

Formatting

1 month ago

First cut at program driver

2 days ago

VisibleNodeSearching.swift

Add =, refl; no J yet.

3 weeks ago