Type context into literal term substitution

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)

MIT License

11 stars 0 forks source link

Type context into literal term substitution #502

Open andrew-johnson-4 opened 2 weeks ago

andrew-johnson-4 commented 2 weeks ago

This would be necessary to create a generic is operator that specializes based on Size of arguments.

andrew-johnson-4 commented 1 week ago

More detail before I forget: turn type parameters in function args list into literal numbers in function body. So specialized code can use specialized numerical constants.