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
/
Unification
/
at
main
9 files
Jon Sterling
The Great De-Asyncifying
13d ago
c24eda0b
Inversion.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
MetaState.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
Multiclosure.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
PartialRestriction.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
PartialSubst.swift
Switch to monorepo, add Visual Studio Code stuff
3 months ago
PartialValue.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
Unifier+Rules.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
Unifier.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
UnifyError.swift
Switch to monorepo, add Visual Studio Code stuff
3 months ago