swift-pterodactyl/Sources/PterodactylKernel/ at 4a7065c01a05d4f214014d9306614b672f11ec20 · jonmsterling.com/swift-pterodactyl · tangled

jonmsterling.com / swift-pterodactyl

this repo has no description www.jonmsterling.com/01HC/

swift-pterodactyl / Sources / PterodactylKernel /

at 4a7065c01a05d4f214014d9306614b672f11ec20 2 folders 5 files

First cut at core syntax, semantic domain, glued NbE.

2 months ago

Make global names evaluate to glued neutrals

2 months ago

Evaluator.swift

Make global names evaluate to glued neutrals

2 months ago

Correcting the plugging algorithm for records

2 months ago

PterodactylKernel.swift

First cut at core syntax, semantic domain, glued NbE.

2 months ago

Quotation.swift

First cut at core syntax, semantic domain, glued NbE.

2 months ago

First cut at core syntax, semantic domain, glued NbE.

2 months ago