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

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