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

Configure Feed

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

project-pterodactyl / Sources / PterodactylBuild / Keys / Blob /
at pattern-unification 6 files
Jon Sterling PterodactylBuild: reorganising files and namespaces
6adb66c4
GetLineMap.swift
ParseDocument.swift
ParseImports.swift
README.md
ReadContents.swift
Tokenise.swift
README.md

Certain operations do not require knowledge of the entire source tree, only a specific blob inside the source tree. These include import analysis, tokenisation, line maps, parsing, etc.