trilogy/spec/src/type-system/ at main · eldridge.cam/trilogy

eldridge.cam / trilogy

Actually just three programming languages in a trenchcoat

trilogy / spec / src / type-system /

at main 5 files

callable-types.tex

remove distinction between 1ary functions and procedures

2 months ago

compound-types.tex

fix some spec typos

1 year ago

higher-order-types.tex

A bit more on the types, finish up compound types

3 years ago

rename file

2 years ago

redo complex number syntax to just be normal

2 months ago