swift-pterodactyl/Sources/PterodactylSyntax/ at pattern-unification · 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 pattern-unification 14 files

Move feedbacks/diagnostics into their own target

3 weeks ago

FoldingRanges.swift

Use visibleUtf16Range for provenance

3 weeks ago

ImportParser.swift

Add a documentation comment

3 weeks ago

Remove Lexer.Layout.explicit because it's unused

1 month ago

Refactoring elaboration queries to return a delta

1 month ago

ParseState.swift

Move feedbacks/diagnostics into their own target

3 weeks ago

Add =, refl; no J yet.

3 weeks ago

SemanticToken.swift

Formatting

1 month ago

SyntaxCursor.swift

Refactoring hierarchical names, adding 'agent' to each cell

1 month ago

SyntaxTree.swift

Formatting

1 month ago

SyntaxTreeBuilder.swift

Formatting

1 month ago

Formatting

1 month ago

Add =, refl; no J yet.

3 weeks ago

VisibleNodeSearching.swift

Add =, refl; no J yet.

3 weeks ago