search

AndyShiue / Ende-readme

Ende is a hypothetical programming language.
23 stars 1 forks source link

phase polymorphism #11

Open AndyShiue opened 8 years ago

AndyShiue commented 8 years ago

Two things:

  1. Make the compile-time and run-time representation of a data type different.
  2. Let users control the const system more specifically.