dunhamsteve.bsky.social / newt
Newt - a dependent typed programming language This is a mirror of the main github repository. newt.cloakedarrow.com
Star
Fork 0
Watch

Commits on caseTree

Remove type from PMatch caseTree
Steve Dunham committed
clean up case building
Steve Dunham committed
update handling of var/var constraints in buildTree
Steve Dunham committed
update tests for pprint change
Steve Dunham committed
Detect split on erased values in CExp
Steve Dunham committed
remove unnecessary case from benchmarking
Steve Dunham committed
moar abbrev (mainly for writing docs)
Steve Dunham committed
support nested record update / interpolation in sublime syntax
Steve Dunham committed
Traverse SnocList
Steve Dunham committed
Prelude.any
Steve Dunham committed
update bootstrap
Steve Dunham committed
LiftWhere didn't handle Force/Delay
Steve Dunham committed
remove unlet
Steve Dunham committed
Rewrite types at pattern matches
Steve Dunham committed
remove redundant code, and tweak some debug messages
Steve Dunham committed
indent for vi
Steve Dunham committed
Edit comments
Steve Dunham committed
minor improvements to pprint Tm in error messages
Steve Dunham committed
Add dependent typed compiler example
Steve Dunham committed
Add files and notes for editor support
Steve Dunham committed
make lsp wants to update package lock
Steve Dunham committed
Fix unification logging issue
Steve Dunham committed
Update case split code for lvl change
Steve Dunham committed
Use lvl instead of name in case builder
Steve Dunham committed
Use the lvl field from context instead of list length
Steve Dunham committed
case builder cleanup
Steve Dunham committed
check in vim keyboard map
Steve Dunham committed
put revision number on benchmark file
Steve Dunham committed
Handle Force/Delay in LiftLambda
Steve Dunham committed
prep for C backend
Steve Dunham committed
Add missing cases to lambda lifting
Steve Dunham committed
better location on some constraint errors
Steve Dunham committed
fix typo and using pnpx for vsce
Steve Dunham committed
pnpm audit
Steve Dunham committed
update actions after file is processed
Steve Dunham committed
styles for action bar
Steve Dunham committed
inline-block for actions
Steve Dunham committed
update bootstrap
Steve Dunham committed
New heuristics for adding inline flag to functions
Steve Dunham committed
label playground actions with shortcut
Steve Dunham committed
code actions for playground
Steve Dunham committed
update playground, add test
Steve Dunham committed
check erasure when solving metas
Steve Dunham committed
a couple more erasure checks
Steve Dunham committed
check forward declarations on instances
Steve Dunham committed
improvements in inlining time
Steve Dunham committed
Fix some extra inlining
Steve Dunham committed
mark as agda for highlighting
Steve Dunham committed
default/lit don't bind
Steve Dunham committed
don't postpone bad constructor matches
Steve Dunham committed
Add LetRec to eval
Steve Dunham committed
try to get github to classify newt as "other"
Steve Dunham committed
remove old vscode extension
Steve Dunham committed
gitattributes experiment
Steve Dunham committed
update TODO
Steve Dunham committed
Don't run inlining on erased args (2.5% improvement)
Steve Dunham committed
Expand lets during typechecking, but keep for inlining.
Steve Dunham committed
fix todomvc/Spruce ffi
Steve Dunham committed
Add the dependent printf example (and fix stuff to make it work)
Steve Dunham committed
no longer need manual solutions for these metas
Steve Dunham committed