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

at pattern-unification 7 files

PterodactylKernel: renaming and reorganisation

3 weeks ago

Remove declarations, begin to reformulate programs.

2 weeks ago

Add =, refl; no J yet.

3 weeks ago

Kernel: remove trailing closures from rules

3 weeks ago

Starting to implement nested pattern unification

2 weeks ago

Structural.swift

Unifier: backtracking and cleanup

2 weeks ago

Cleaning up naming

3 weeks ago