project-pterodactyl by jonmsterling.com · Tangled

project-pterodactyl

www.jonmsterling.com/01HC

dependent-types proof-assistant

Files

haskell-pterodactyl

vscode-pterodactyl

readback, unification wip

· 1d ago

unification wip

· 1d ago

Actually remove Main.hs

· 2d ago

Comment out Main.hs

· 2d ago

Archive the swift implementation

· 2d ago

unification wip

· 3d ago

UnifyMode tweaking

· 2w ago

First evaluator for finite levels

· 2w ago

small discrimination tree experiment

· 3w ago

yet simpler unification modes, unification wip

· 3w ago

main · 1d ago Default

push-xzrqrktyssxp · 2d ago

Swift 65%
Haskell 34%
TypeScript 1%
CSS <1%
Shell <1%