about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--apps/mu.subx6
1 files changed, 5 insertions, 1 deletions
diff --git a/apps/mu.subx b/apps/mu.subx
index 50139ab9..b0cf03c1 100644
--- a/apps/mu.subx
+++ b/apps/mu.subx
@@ -8,8 +8,12 @@
 # 1. Be memory safe. It should be impossible to corrupt the heap, or to create
 # a bad pointer. (Requires strong type safety.)
 # 2. Do as little as possible to achieve goal 1.
-#   - runtime checks to avoid complex static analysis
 #   - minimize impedance mismatch between source language and SubX target
+#     (e.g. programmer manages registers manually)
+#   - checks over syntax
+#     (e.g. programmer's register allocation is checked)
+#   - runtime checks to avoid complex static analysis
+#     (e.g. array indexing always checks bounds)
 
 # == Language description
 # A program is a sequence of function definitions.