Generalize Types in Terms

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)

MIT License

11 stars 0 forks source link

Generalize Types in Terms #501

Closed andrew-johnson-4 closed 1 week ago

andrew-johnson-4 commented 2 weeks ago

Some terms reference types and should still specialize. The generalization would be to make a Type Term instead of branches for each case like As, Asc, Sizeof etc.