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

at pattern-unification 2 folders 9 files

Unifier: backtracking and cleanup

1 week ago

Unifier: backtracking and cleanup

1 week ago

ElabError.swift

Kernel: missing copyright headers

3 weeks ago

Kernel: adopt LCF methodology to protect trusted proofs

3 weeks ago

Environment.swift

Unifier: backtracking and cleanup

1 week ago

Judgements.swift

Remove declarations, begin to reformulate programs.

2 weeks ago

NameResolver.swift

Remove declarations, begin to reformulate programs.

2 weeks ago

Remove declarations, begin to reformulate programs.

2 weeks ago

Signature.swift

Kernel: adopt LCF methodology to protect trusted proofs

3 weeks ago

Fix bug in whnf: we need to recursively call whnf

2 weeks ago

Kernel: missing copyright headers

3 weeks ago