src/Lib · newt · Tangled

dunhamsteve.bsky.social / newt

Newt - a dependent typed programming language This is a mirror of the main github repository. newt.cloakedarrow.com

2 folders · 17 files

Steve Dunham · Remove type from PMatch · 3mo ago

update handling of var/var constraints in buildTree

switch over to new `alias` sugar

switch over to new `alias` sugar

Add syntax for erased functions

Remove type from PMatch

Fix unification logging issue

Add syntax for erased functions

Preliminary work on formatter

ProcessDecl.newt

update bootstrap

ProcessModule.newt

Add syntax for erased functions

switch over to new `alias` sugar

ReplParser.newt

Add syntax for erased functions

Check types at quantity 0

switch over to new `alias` sugar

type alias sugar

TopContext.newt

Fix some extra inlining

Detect split on erased values in CExp

checkpoint working newt3 build