Ende-readme
Ende-readme copied to clipboard
phase polymorphism
Two things:
- Make the compile-time and run-time representation of a data type different.
- Let users control the
const
system more specifically.