jonmsterling.com / project-pterodactyl
This repository has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
3
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

project-pterodactyl / Sources / PterodactylSyntax /
at pattern-unification 14 files
Jon Sterling Add =, refl; no J yet.
51a7f7d4
Feedback.swift
FoldingRanges.swift
ImportParser.swift
Lexer.swift
LineMap.swift
ParseState.swift
Parser.swift
SemanticToken.swift
SyntaxCursor.swift
SyntaxTree.swift
SyntaxTreeBuilder.swift
Token.swift
Types.swift
VisibleNodeSearching.swift