trilogy/spec/src/type-system/ at string-repr-callable · eldridge.cam/trilogy

eldridge.cam / trilogy

Actually just three programming languages in a trenchcoat

trilogy / spec / src / type-system /

at string-repr-callable 5 files

callable-types.tex

rename file

2 years 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

salvage the [] from member access by making it a regular operator, kind of weird but let's see how it goes

3 years ago