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

at pattern-unification 3 files

Starting to implement nested pattern unification

3 weeks ago

LocalAnalysis.swift

Starting to implement nested pattern unification

3 weeks ago

Quotation.swift

Unifier: backtracking and cleanup

2 weeks ago