alpha
Login
or
Join now
jonmsterling.com
/
project-pterodactyl
Star
6
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
6
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
/
at
main
7 folders
András Kovács
notes, fix nondeterministic JSON encoder
5d ago
6db234c4
PterodactylBuild
notes, fix nondeterministic JSON encoder
5 days ago
PterodactylCore
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 month ago
PterodactylElaborator
Simplify incremental engine
1 month ago
PterodactylFeedback
Switch to monorepo, add Visual Studio Code stuff
4 months ago
PterodactylKernel
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 month ago
PterodactylLanguageServer
Workaround for opening a single file in vscode If we open a single file (not folder) in vscode, the rootUri is initialized to nil. Previously, this caused the workspace to be forever uninitialized. The current workaround initializes the workspace on demand in refreshDocument. Would be better: use workspaceFolders in the initialization request. LSP 3.18 says rootUri is deprecated in favor of it.
5 days ago
PterodactylSyntax
Query API improvements
1 month ago