project-pterodactyl/swift-pterodactyl/Sources/PterodactylCore/Control/ at main · jonmsterling.com/project-pterodactyl · Tangled

jonmsterling.com / project-pterodactyl

4

This repository has no description www.jonmsterling.com/01HC/

dependent-types proof-assistant swift

4

project-pterodactyl / swift-pterodactyl / Sources / PterodactylCore / Control /

at main 2 files

Jon Sterling The Great De-Asyncifying 12d ago

MemoisedQuery.swift

The Great De-Asyncifying The only reason the asynchrony infected the elaborator and kernel was that the driver was returning 'references' to elaborated definitions. These should just be returned already resolved.

1 week ago

The Great De-Asyncifying The only reason the asynchrony infected the elaborator and kernel was that the driver was returning 'references' to elaborated definitions. These should just be returned already resolved.

1 week ago