jonmsterling.com / project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant swift
Star
Fork 3
Watch
Swift 67%
Haskell 31%
TypeScript 1%
1%
CSS <1%
JavaScript <1%
Shell <1%
440 1 0
haskell-pterodactyl
LICENSES
swift-pterodactyl
vscode-pterodactyl
.gitignore