alpha
Login
or
Join now
jonmsterling.com
/
project-pterodactyl
Star
5
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
5
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
/
PterodactylKernel
/
at
main
1 folder
8 files
Jon Sterling
The Great De-Asyncifying
17d ago
c24eda0b
Rules
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.
2 weeks ago
ElabError.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.
2 weeks ago
ElabState.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.
2 weeks ago
Environment.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.
2 weeks ago
Judgements.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.
2 weeks ago
NameResolver.swift
Switch to monorepo, add Visual Studio Code stuff
3 months ago
Recovery.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.
2 weeks ago
Signature.swift
Make Signature.lookup and GlobalEnv.lookup synchronous
2 weeks ago
Tactics.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.
2 weeks ago