issues
search
jasonsbarr
/
wanda
Programming language for a tutorial series on building a compiler
7
stars
1
forks
source link
Merge types branch into main
#6
Closed
jbarrmetro
closed
1 year ago
jbarrmetro
commented
1 year ago
Constant declarations (via
def
)
Constants are just for type checker
def
constant form desugars to
var
Singleton types
Tuple types
Union types
Intersection types
:as type expressions
def
)def
constant form desugars tovar