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

at main 7 folders

PterodactylBuild

Mitigating the “Goodbye Lenin” problem

3 days ago

PterodactylCore

Remove unnecessary keyword arguments

1 week ago

PterodactylElaborator

Value semantics for elaboration sink

1 week ago

PterodactylFeedback

Move feedbacks/diagnostics into their own target

3 weeks ago

PterodactylKernel

Mitigating the “Goodbye Lenin” problem

3 days ago

PterodactylLanguageServer

PterodactylBuild: reorganising files and namespaces

2 weeks ago

PterodactylSyntax

Get Pterodactyl building on Linux

1 day ago