jonmsterling.com / project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant swift
Star
Fork 3
Watch

Commits on main

First evaluator for finite levels main
András Kovács committed
small discrimination tree experiment
András Kovács committed
yet simpler unification modes, unification wip
András Kovács committed
simplify unification modes for now
András Kovács committed
remove lazy apply method in Apply
András Kovács committed
Unification & eval wip
András Kovács committed
more parsing, make Parser a MonadIO
András Kovács committed
parsing progress
András Kovács committed
Porting revised recovery prototype to main parser, wip
András Kovács committed
Improved resilient parser demo
András Kovács committed
parser experiments
András Kovács committed
untested first parser
András Kovács committed
lexer fixes, production parser opt & experiments
András Kovács committed
lexer bugs, parser wip
András Kovács committed
optimize Lexer monad
András Kovács committed
more Lexer reorg
András Kovács committed
utils, reorg
András Kovács committed
first lexer, some utils
András Kovács committed
lexer/parser prototype, scrap previous design
András Kovács committed
initial haskell commit
András Kovács committed
notes, fix nondeterministic JSON encoder
András Kovács committed
Add optimization and stripping to release build
András Kovács committed
Workaround for opening a single file in vscode
András Kovács committed
SourceTree bugfix
András Kovács committed
Package.resolved
András Kovács committed
gitignore .vscode, de-template README
András Kovács committed
Formatting
Jon Sterling committed
Structured logging
Jon Sterling committed
More detailed logging handler
Jon Sterling committed
Use best practices for propagating loggers and bootstrapping handler
Jon Sterling committed
PterodactylLanguageServer.Logger: fix compiler warning
Jon Sterling committed
Fix linux-build.sh
Jon Sterling committed
Update dependencies
Jon Sterling committed
Remove macOS-specific platform information from Package.swift
Jon Sterling committed
Tweaks
Jon Sterling committed
Tweak name of method
Jon Sterling committed
Add some tests for topological sorting
Jon Sterling committed
Add missing copyright headers
Jon Sterling committed
More cleanup
Jon Sterling committed
Some cleanup in the queries
Jon Sterling committed
Query API improvements
Jon Sterling committed
Fix my misuse of the Foundation.URL API
Jon Sterling committed
Remove need for StoreKey
Jon Sterling committed
Simplify incremental engine
Jon Sterling committed
Upgrade visual studio code extension npm dependencies
Jon Sterling committed
Add StoreKey abstraction
Jon Sterling committed
Update package versions
Jon Sterling committed
Switch over to the new build system
Jon Sterling committed
Experimenting with my own lightweight incremental engine
Jon Sterling committed
Add some Hashable conformances
Jon Sterling committed
Add a TODO comment
Jon Sterling committed
The Great De-Asyncifying
Jon Sterling committed
Fix .gitignore
Jon Sterling committed
Add synchronous versions of thunks
Jon Sterling committed
Make Signature.lookup and GlobalEnv.lookup synchronous
Jon Sterling committed
Get rid of TypedDataID
Jon Sterling committed
update .gitignore
Jon Sterling committed
Switch to monorepo, add Visual Studio Code stuff
Jon Sterling committed
Formatting
Jon Sterling committed
ProgramMatchClause: avoid duplicated bindings
Jon Sterling committed