alpha
Login
or
Join now
jonmsterling.com
/
project-pterodactyl
Star
4
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
This repository has no description
www.jonmsterling.com/01HC/
dependent-types
proof-assistant
swift
Star
4
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
project-pterodactyl
/
swift-pterodactyl
/
Sources
/
PterodactylCore
/
at
main
5 folders
11 files
Jon Sterling
The Great De-Asyncifying
11d ago
c24eda0b
Control
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
Core Types
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
Distillation
Switch to monorepo, add Visual Studio Code stuff
3 months ago
Local Environments
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
Unification
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
Coerce.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
EnrichSpine.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
Equality.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
EtaContraction.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
Evaluator.swift
Make Signature.lookup and GlobalEnv.lookup synchronous
1 week ago
Forcing.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
Plug.swift
Switch to monorepo, add Visual Studio Code stuff
3 months ago
Quotation.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
Relevance.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
Splice.swift
Switch to monorepo, add Visual Studio Code stuff
3 months ago
TermBuilder.swift
Switch to monorepo, add Visual Studio Code stuff
3 months ago