jonmsterling.com / swift-pterodactyl
this repo has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
fork atom
swift-pterodactyl / Sources / PterodactylCore /
at main 5 folders 7 files
Control
Core Types
Distillation
Local Environments
Unification
Coerce.swift
EnrichSpine.swift
Equality.swift
Evaluator.swift
Forcing.swift
Plug.swift
Quotation.swift