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

at pattern-unification 7 folders

PterodactylBuild

Delete dead and commented-out code

2 weeks ago

PterodactylCore

Unifier: backtracking and cleanup

1 week ago

PterodactylElaborator

Remove declarations, begin to reformulate programs.

2 weeks ago

PterodactylFeedback

Move feedbacks/diagnostics into their own target

3 weeks ago

PterodactylKernel

Unifier: backtracking and cleanup

1 week ago

PterodactylLanguageServer

PterodactylBuild: reorganising files and namespaces

2 weeks ago

PterodactylSyntax

Add =, refl; no J yet.

2 weeks ago